HackerNews

Agent4Lease

Article URL: https://agent4lease.com/ Comments URL: https://news.ycombinator.com/item?id=49141849 Points: 3 # Comments: 0
HackerNews

I don't recommend Tailwind CSS

Article URL: https://en.andros.dev/blog/af3ee191/why-i-dont-recommend-tailwind-css/ Comments URL: https://news.ycombinator.com/item?id=49141891 Points: 108 # Comments: 111
HackerNews

IBM i (OS/400) the Database Operating System

Article URL: https://osadmins.com/en/ibm-i-os-400-the-database-operating-system/ Comments URL: https://news.ycombinator.com/item?id=49141937 Points: 16 # Comments: 9
HackerNews

Mathematics Without Mathematicians

Article URL: https://borretti.me/article/mathematics-without-mathematicians Comments URL: https://news.ycombinator.com/item?id=49142083 Points: 20 # Comments: 24
HackerNews

Cyberscript

Article URL: https://cyberscript.dev Comments URL: https://news.ycombinator.com/item?id=49142130 Points: 15 # Comments: 15
HackerNews

Show HN: Bor – Open-source policy management for Linux desktops

Hi HN! I've been working on Bor, an open-source system for centralized Linux desktop management. Bor consists of a lightweight Go agent and a central server. Policies are streamed to clients over mTLS/gRPC in real time—no polling—and currently support Firefox, Chrome, KDE, dconf, polkit and package management, with more coming. Version 0.8 introduces several new policy types - Thunderbird, Microsoft Edge for Business and FirewallD zones, along with a number of improvements and fixes. I'd love fe...
🌍 Dev.to

Our AI builder said "done" when the output matched a regex

We build Zugo , which turns one written sentence into a running game, site or app. For a while, the thing that decided whether a build had succeeded was this: function htmlComplete ( text ) { return /< \/ html>/i . test ( text ); } A closing tag. That was the gate. If the model emitted </html> , the turn was a success, the green tick appeared, and the credits were charged. Whether the page actually opened was not part of the decision, becau...
🌍 Dev.to

Hire a Shopify developer: what to ask before you sign anything

Hiring a Shopify developer is not a single decision — it's at least three decisions disguised as one. Do you need a developer at all, or will a well-configured theme and a few apps get you there? If you do need a developer, are you building on liquid or going headless? And is the person you're talking to actually qualified for the version of Shopify you're running? Getting those three questions wrong costs real money. When you actually need to hire a Shopify developer Shopify's d...
🌍 Dev.to

Everyone Knows It Scores Half. Nobody Checks Which Half.

Builder Journal · Mars Environmental Dynamics Analyzer (MEDA) Virtual Sensor Recovery Every Kaggle competition page carries the same line of small print under the standings. This leaderboard is calculated with approximately 50% of the test data. The final results will be based on the other 50%. Everybody reads it. Everybody nods. Almost nobody asks which 50%. I asked, and then I measured it, and it is not a random sample. It is the first 1,974,995 rows in spacecraft clock order, which i...
🌍 Dev.to

Taming a 40-Minute Lean CI: Three Rounds, Three Wrong Suspects

Our Lean 4 + mathlib project used to spend 41 minutes in CI on every single PR. Today, the worst case — rebuilding the heaviest files from scratch — takes 12 minutes, and an ordinary PR finishes in a few minutes on an incremental build. What we fixed Before After Kernel axiom audit 7m 11s 11s An ordinary PR 41m (full rebuild, always) a few minutes (incremental) Worst case (heaviest files fully rebuilt) 41m (same) 12m This article re...
🌍 Dev.to

Stop Watching Others Code and Start Building Your Own Ideas

The uncomfortable truth about learning to code I want you to answer this question honestly. Your answer will decide the value of this article for you. It might be the thing that pulls you out of this trap and helps you get 10x more productive. Has it ever happened to you that you watched a 6-hour-long tutorial, and when you try to build something on your own, you're blank? I mean, how is this even possible? You understood everything in the video, but the moment you had to think for your...
🌍 Dev.to

The Factory Class I Finally Deleted

The PR added a WhatsApp notification channel. Three changes: a new WhatsAppSender class, fair. Its registration, fair. And NotificationSenderFactory , where a switch statement quietly grew its fourth arm. I've been approving some version of that third change since 2016 — different codebases, same class, same switch. Keyed services made it deletable back in .NET 8, and this week, on .NET 10, I finally sat down and deleted it. The class in question You've written this class. May...
🌍 Dev.to

CityLibrary

Django and React.js library management system 🚀 Dev.to Article Summary CityLibrary is a full-stack library management system built with React 19 , Django 5 , and Django REST Framework . It features a type-safe, responsive frontend powered by TanStack Router , TanStack Query , and TanStack Store , along with a Django Unfold administrative dashboard. Authentication is secured using native session cookies, and media assets are managed seamlessly via Cloudinary . ...
🌍 Dev.to

CancellationException is not an assassin

I cancelled a coroutine. It kept running for 8 more seconds. It just did not care. This was a search screen. You type, it fires a network request. Type again, it cancels the old request and fires a new one. Standard stuff. Except the old request kept running, and every so often it finished last and painted stale results right over the fresh ones. I had called cancel. I had watched it run in the debugger. The job was "cancelled." And still it went on. The culprit was one line I wrote myself...
I'm Not a Developer — So Why Did Oracle Backend with Firebase APIs Get Me Hooked on Oracle AI Database?
🌍 Dev.to

I'm Not a Developer — So Why Did Oracle Backend with Firebase APIs Get Me Hooked on Oracle AI Database?

{ Abhilash Kumar Bhattaram : Follow on LinkedIn } I spend my days on the infrastructure side of things — migrations, capacity planning, licensing conversations, moving workloads onto Oracle Autonomous AI Database and OCI. I don't write mobile apps. I've never shipped an Android build or wrestled with an Xcode provisioning profile. So when I first heard about Oracle Backend with Firebase APIs , my honest first reaction was: "that's a developer thing, not my thing , but I relaize...
🌍 Dev.to

Turning TravelAI.Core Into a Real Production System

A few months ago I published TravelAI.Core, a .NET library for searching travel destinations using AI. Version 2.0.0 shipped with support for OpenAI, Anthropic, Azure OpenAI, and Ollama. It works. People are using it. But it's still just a library. One package, doing one job, called directly from your code. That's not how production systems work. So I'm upgrading it. What TravelAI.Core looks like today You install the package, call a method, and it searches destinations usi...
🌍 Dev.to

6 Questions Every Enterprise Has to Answer About AI

You've probably sat in this meeting. Someone asks, "so where are we with AI, actually?" — and six people give six different answers. Last year, the questions were "should we do this?" and "how do we prove ROI?" This year, those questions have mostly disappeared. What replaced them are harder, more foundational questions. If nobody at your company is asking them yet, that's the thing to worry about. NLW came back from KPMG's annual Tech and Innovation Symposium with six questions that...
🌍 Dev.to

'Deploy succeeded.' Four of my nine pages were still 404.

I deployed nine new pages this week. The CLI said what it always says: ✨ Success! Uploaded 14 files Deployed (5.61 sec) Twenty seconds later I checked the actual URLs, because someone in a thread here had spent six rounds teaching me not to trust a report about the wrong thing: synology - htaccess - does - nothing 404 php - 74 - str - starts - with - fatal - error 200 pwa - still - showing - old - version 404 php...
🌍 Lobsters

FlickBoard

Comments