HackerNews

Why Don't People Use Formal Methods? (2019)

Article URL: https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ Comments URL: https://news.ycombinator.com/item?id=49109026 Points: 77 # Comments: 52
HackerNews

Launch HN: Prized (YC S26) – Let non-engineer staff build secure internal tools

Hi HN, we're Marinos and Hudson, founders of Prized ( https://prized.dev )! Prized lets non-engineer employees describe the internal tool they need and get a full-stack app, wired to their company’s data and deployed behind the company’s sign-in, without them ever juggling API keys or connectors. Here's a demo: https://www.youtube.com/watch?v=730MuYOfZTY The way Prized provides security is by limiting what the agent can reach at the network layer and by keeping credentials out of the sandbox e...
HackerNews

The Lost Civic Life of Movie Rental Stores

Article URL: https://thereader.mitpress.mit.edu/the-lost-civic-life-of-movie-rental-stores/ Comments URL: https://news.ycombinator.com/item?id=49110308 Points: 36 # Comments: 33
HackerNews

Hacker Public Radio

Article URL: https://hackerpublicradio.org/ Comments URL: https://news.ycombinator.com/item?id=49110547 Points: 37 # Comments: 2
HackerNews

Trusted URLs via Cryptographic Signatures

Article URL: https://blog.certisfy.com/2026/04/trusted-urls-via-cryptographic.html Comments URL: https://news.ycombinator.com/item?id=49110577 Points: 8 # Comments: 6
HackerNews

The Economic Benefit of Refactoring

Article URL: https://martinfowler.com/articles/exploring-gen-ai/refactoring-economic-benefit.html Comments URL: https://news.ycombinator.com/item?id=49111176 Points: 17 # Comments: 2
🌍 TheVerge

SwitchBot makes a better fan

I was already a big fan of SwitchBot's big circulator fan I recently reviewed, and now we're getting the SwitchBot Battery Circulator Fan 2 Pro. Priced at $119.99, it ditches the height-adjustable stand but increases battery life, throw distance, and wind speed while adding native Matter-over-Wi-Fi, allowing it to join your smart home without needing […]
🌍 Dev.to

No-Code, Hybrid, or Custom Code? A Practical Decision Framework

Part 2 of the DEV series: The Real Boundary Between No-Code and Engineering In Part 1 of this series, I argued that developers do not necessarily dislike no-code. They dislike losing control over security, business logic, system boundaries, failure behavior, and production accountability. That argument creates a practical question. How should a team decide whether a workflow belongs in a visual builder, a hybrid architecture, or custom code? The answer cannot simply be to use no-code w...
🌍 Dev.to

What Actually Happens After You Send a Webhook

The first version of a webhook is always the same four lines: await fetch ( customer . webhookUrl , { method : ' POST ' , headers : { ' content-type ' : ' application/json ' }, body : JSON . stringify ( event ), }); It works. You ship it. Then the tickets start. A customer's endpoint was down during a deploy and they want the events from that window. Another integration processed the same order twice. Someone asks how they...
🌍 Dev.to

Why SSO integrations pass SIT and fail in production

Every SSO engineer has had this week. An integration is configured, tested and signed off in a lower environment. It gets promoted and within hours of go-live, tickets start arriving: users who can't reach the application, an application team that insists nothing on their side has changed, and a business stakeholder asking why a working integration broke. Nothing broke. The integration was never tested against the conditions it now runs in. I spent close to two years configuring and suppor...
🌍 Dev.to

I Built an Awesome List for Open-Source GEO Tools. The Licence Check Cut the Popular Ones.

Generative Engine Optimization is the unglamorous name for a real problem: your content now has to be findable, parsable and citable by systems that answer instead of link. ChatGPT, Perplexity, Claude, Google AI Overviews. The original GEO paper from KDD 2024 showed the levers differ from classic SEO — citations, statistics and quotable structure move the needle where keyword density does essentially nothing. The tooling around it is almost entirely paid SaaS. There are two existing awesome...
🌍 Dev.to

Does it still make sense to learn how to code?

Does it still make sense to learn how to code? This is a question I’ve been thinking about a lot recently. When I started learning programming more than 30 years ago, my teachers didn’t begin with a programming language. Instead, they taught us algorithms, flowcharts, requirements, inputs and outputs, conditions, loops, and how to reason about a solution before writing a single line of code. At the time, I didn’t fully appreciate that approach. Like most students, I was eager to...
🌍 Dev.to

You're writing for two readers, and one of them is a model

Every post you write now goes to two readers. The first is a person. They open it, read it, decide whether it was worth their time. Nothing new there — we've been writing for that reader forever. The second reader showed up recently, and it isn't a person. It's a model. It reads your text, works out what it's actually about, and decides whether to surface it or quote it in an answer. You're writing for both now. They want slightly different things — but less different than you'd fear. L...
🌍 Dev.to

🌱 MyZubster goes green: grow your own food, map it, and trade it with Monero

🌱 MyZubster goes green: grow your own food, map it, and trade it with Monero How we're turning a decentralized marketplace into a global hub for urban permaculture – and we need your help. 🧭 The idea MyZubster is an open‑source ecosystem for privacy, decentralization, and human‑centered technology. But technology alone doesn't change the world. What we grow, share, and eat does. That's why we're launching a new initiative: MyZubster Garden – a global network of urban gardens, balconi...
🌍 Dev.to

25 Free AI Tools So Powerful They Feel Illegal (2026)

Picture this: it's 11 p.m., you've got a client deck due at 9 a.m., and you're still manually resizing images, rewriting the same paragraph for the fifth time, and Googling "how to make a Gantt chart in PowerPoint" like it's 2014. Sound familiar? A lot of us have been there — burning hours on tasks that, in hindsight, an AI tool could have knocked out in about ninety seconds. That's the strange part about where we are in 2026. The tools that used to cost hundreds of dollars a month, or requir...
🌍 Dev.to

Tiny Board, Big AI Ambitions: Meet the Orange Pi Zero 4

At just 50 × 55 mm — smaller than a standard business card — the upcoming Orange Pi Zero 4 packs an impressive set of features into an ultra-compact form factor. This new addition to the Orange Pi Zero series delivers an octa-core processor, a dedicated AI accelerator, Wi-Fi 6, Gigabit Ethernet, and 4K video output, all on a board designed for tight spaces. Same Power, Different Shape The Zero 4 shares the Allwinner A733 system-on-chip with the Orange Pi Zero 3W, which launched e...
Deploy Laravel and Vue to cPanel Automatically with GitHub Actions
🌍 Dev.to

Deploy Laravel and Vue to cPanel Automatically with GitHub Actions

Uploading a ZIP file to cPanel after every small code change gets old very quickly. You fix one bug, build the Vue frontend, create a ZIP file, open cPanel File Manager, upload it, extract it, run migrations, clear Laravel caches, and then check whether everything still works. The code change may take two minutes. The deployment takes much longer. A better approach is simple: Push your code to GitHub and let GitHub Actions deploy it to cPanel automatically. In this guide, we w...
🌍 Dev.to

Deploy a Telegram Rubber Duck That Actually Answers Back

Your application has crashed. The terminal has responded with 47 lines of red text, three warnings you don’t understand, and one particularly helpful message: Something went wrong. You could paste the whole thing into five browser tabs. Or you could send it to a Telegram bot that explains the error, suggests what to check next, and patiently waits for the command output. In this tutorial, we’ll build exactly that. Meet Debug Duck 🦆: a private AI assistant that li...
🌍 Dev.to

Ollama 0.32.0の「ローカルAIエージェント」を本番機で試せなかった話 — 共有GPUインフラのバージョンを上げない判断と、リリースノートと現物のドリフト

「 ollama にエージェント機能が入った」というリリースノートを見て、自分のMacで ollama agent を叩いたら unknown command "agent" で撃たれた——という人向けの記事です。結論から言うと、うちのM1 Max 64GB本番機は今も Ollama 0.30.8 のままで、 agent サブコマンドは存在しません。そしてそれは「更新し忘れた」のではなく、意図して上げていません。理由を実測とうちで実際に起きた事故から書きます。 本番機の実測 — バージョンは0.30.8、 agent は無い まず自分の手元で叩いた結果です。 $ ollama --version ollama version is 0.30.8 --help のコマンド一覧にも agent は無く、 serve / create / show / run / stop / pull / push / list / ps / cp / rm / launch までしかありません。実際に叩くとこう...