HackerNews

Show HN: Automatically detect and patch walking-dead states in Sierra games

Hi HN, I've become lazier in my old age and struggle to replay my favorite Sierra games from the 80s and 90s because I keep getting into those situations where I need an item from 3 acts ago, I have no save game handy, and now I gotta make dinner. So I'm building the Lucasartsifier: a static analysis tool that decompiles Sierra resource files, automatically finds those states, automatically generates code to prevent the player from getting into those states, then emits loose patch files that can...
HackerNews

Palomar: A registry of Lean verified mathematics

Article URL: https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/ Comments URL: https://news.ycombinator.com/item?id=49355968 Points: 116 # Comments: 19
HackerNews

Where Human Sleep Went Wrong

Article URL: https://nautil.us/where-human-sleep-went-wrong-1283797 Comments URL: https://news.ycombinator.com/item?id=49358259 Points: 83 # Comments: 63
🌍 Dev.to

Distributed Locking in Practice: Guarantees, Failure Scenarios and Better Alternatives (3/4)

15. Distributed Locking Is Only One Coordination Pattern By this point, we've established an important progression in how distributed systems handle coordination. A distributed lock is designed to solve a very specific problem: coordinating ownership of a resource across multiple machines. It ensures that only one node can act on a shared resource at a time. As systems evolved, we introduced leases to handle a different failure modeβ€”abandoned locks caused by crashed or unreachable node...
🌍 Dev.to

Unity Mipmaps Beyond Smaller Textures: Temporal Stability, Streaming, and Semantic Mips

Introduction Mipmaps are usually introduced as smaller copies of a texture. That is correct, but it does not explain why a no-mipmap screenshot looks sharp while motion shimmers, why foliage disappears, why normal-mapped highlights flash, or why an atlas bleeds only in lower levels. A more useful model treats a mip chain as three things: A tool for temporal image stability . A mechanism for allocating bandwidth and resident memory . A hierarchy whose levels can preserve differe...
🌍 Dev.to

Daily Dose of DevOps β€” GitHub Actions basics for DevOps

GitHub Actions Basics for DevOps Introduction GitHub Actions is a powerful automation platform integrated directly into GitHub repositories. It allows developers to automate various tasks such as testing, building, and deploying code changes. This article provides an overview of GitHub Actions for DevOps teams, including how to set up and use them effectively, common failure modes, and trade-offs. Setting Up GitHub Actions Creating a Workflow Na...
🌍 Dev.to

Prompt Injection Is a Permissions Problem, Not a Model Problem

Every mitigation that treats injection as a text-filtering problem eventually fails. Here's the capability-based version that doesn't depend on the model behaving. Every prompt injection discussion I read eventually arrives at the same place: better instructions. Put the system prompt in a stronger position. Tell the model to ignore instructions in retrieved content. Add a classifier that detects malicious input. All of these help. None of them are a control, because all of them depend on ...
🌍 Dev.to

When People Were People, They Wrote Words

here was a time when people went online to talk. Not to scroll. Not to build a personal brand. Not to collect followers, likes, reactions, karma, achievements, or years of carefully accumulated history. They wrote words. And at that moment, those words were almost everything you had. You could be talking to one person. Or ten. Or a hundred. It didn't matter much who you had been yesterday. There was no profile containing fifteen years of your life for everyone to inspect before decidin...
🌍 Dev.to

Stop Rebuilding Backend Plumbing: Treat It as Code You Own

A lot of backend development is not really product development. You spend an afternoon adding graceful shutdown handling. Another day goes into response formatting, request validation, environment configuration, security headers, idempotency, authentication helpers, and error handling. None of these are particularly exciting. But they still need to be correct. The usual answer is to install another npm package. That works, until the package becomes a dependency you have to configu...
🌍 Dev.to

Building a Human-in-the-Loop Autonomous Coding Agent with n8n and Telegram

What if I could send a coding task from my phone, put the phone back in my pocket, and let an AI agent work on my development machine? And what if, whenever the agent wanted to do something that required my permission, it could simply message me on Telegram? That was the idea behind a small automation project I recently built. The final architecture combines Telegram, Cloudflare Tunnel, n8n, a lightweight Express.js runner, and Codex to create a remote, human-in-the-loop autonomous co...
🌍 Dev.to

Hi everyone! πŸ‘‹

Hi everyone! πŸ‘‹ I'm Wilbur, and I'm new here! I run my own tech community on Mattermost and also have a YouTube channel where I create tech-related content. I'm an advanced Linux user and also work a lot with AI and automation. I'm always interested in learning more, sharing what I know, and connecting with other people who are into tech, Linux, AI, and content creation. Looking forward to being part of the community and getting to know everyone!
🌍 Dev.to

The CSS Grid vs Flexbox Showdown: A Jedi's Guide to Layout Mastery

The Quest Begins (The "Why") Honestly, I still remember the first time I tried to build a admin dashboard. I had a gorgeous design in Figma: a fixed sidebar, a top bar with user info, and a main area that needed to hold a bunch of widgets that could stretch, wrap, and align themselves like a Tetris board. I reached for Flexbox because, hey, it’s the β€œgo‑to” for anything that lines up in a row or column, right? I slapped display: flex on the container, set flex-wrap: wrap , and starte...
🌍 Dev.to

How I Pick AI Coding Models β€” A 2026 Startup CTO Guide

How I Pick AI Coding Models β€” A 2026 Startup CTO Guide Three months ago our infra bill looked like a crime scene. We were burning $14k/month on a single coding assistant API, half of which came from one model none of my engineers even liked. That was the day I stopped trusting "best in class" blog posts and started benchmarking the models myself, on our actual workloads, with our actual money on the line. What follows is the playbook I built. Ten models, five real tasks, and a score-per-do...
🌍 Dev.to

7 Best API Governance Tools for Developers and API Teams in 2026

How to keep APIs secure, consistent, compliant, and manageable as your organization grows. I've noticed something about API projects as they grow. The APIs themselves usually aren't the problem. The problem is everything that happens around them. One team follows one naming convention. Another team uses a different approach. Someone stores a secret in an API definition. An endpoint gets created without proper documentation. A developer leaves the company but still has access to projects they...
🌍 Dev.to

what is a purpose of index with order if the query has order 1 column, do we need to use order in index

For a query that sorts by only one column, you do not need to explicitly specify a sort direction (like DESC) when creating the index, because databases can read a single-column index both forward and backward with equal efficiency.The purpose of an index in this scenario is to eliminate the expensive "filesort" or explicit sorting step entirely. Since the data is already stored in order inside the index structure, the database engine simply scans the index and returns the rows directly in the r...
🌍 Dev.to

Clop's Windchill Web Shell: From Credential Decryption to Design Data Theft Inside the App

Clop's Windchill Web Shell: From Credential Decryption to Design Data Theft Inside the App 1. Basic Information Article Title : Clop Returns with Custom Implant in Mass-Extortion Campaign Publisher : ReliaQuest Threat Research Team Publication Date : 2026-08-18 Severity : Critical Original Source : ReliaQuest Related Sources : BleepingComputer , Ransom-ISAC Related Malware & Threat Groups : Clop / Cl0p, Windchill-specific JSP Web Shell ...
🌍 Dev.to

Forminator Forms (CVE-2026-15748): Unauthenticated RCE via Forged Upload Settings in Select Fields

Forminator Forms (CVE-2026-15748): Unauthenticated RCE via Forged Upload Settings in Select Fields 1. Basic Information Article Title : 600,000 WordPress Sites Affected by Arbitrary File Upload Vulnerability in Forminator Forms WordPress Plugin Publisher : Wordfence Intelligence Publication Date : 2026-08-17 Severity : High Original Source : Wordfence Related Sources : SecurityWeek Related Malware / Attack Groups : None / Unidentified CVE &a...
🌍 Dev.to

The Hottest AI Framework Right Now Has a Fatal Flaw Nobody Mentions

I spend a lot of time in the AI space -- reading papers, building things, talking to engineers who are actually shipping. And there is a gap between what the demos show and what production systems actually look like that nobody is being fully honest about. So here is my honest take on where things actually are. The Problem With How We Talk About AI Agents Everyone is calling everything an "agent" right now. A function that calls a tool? Agent. A chatbot with memory? Agent. ...
🌍 Dev.to

My QUIC transport had never once been executed. Here's what happened when I ran it.

I've written before about SMESH, a coordination protocol modelled on mycorrhizal networks β€” the fungal web that lets trees in a forest warn each other about drought and disease with nothing in charge of the network. Signals diffuse, decay on their own, and get reinforced when independently confirmed. Consensus emerges instead of being orchestrated. That was the idea. This post is about the part where I found out whether it worked. The transport that had never run SMESH has had...
🌍 Dev.to

UFW and WireGuard: the tunnel is up and nothing goes through

The tunnel comes up. wg show prints a recent handshake. The client has its address inside the tunnel. And not a single byte reaches the internet. Almost every guide answers this with "open UDP 51820 in the firewall". You already did that β€” it is why the handshake works at all. The problem is somewhere else, and UFW makes the distinction easy to miss: Entering a machine and traversing it are two different permissions. ufw allow 51820/udp lets packets arrive at the server. Your cl...