News for hackers. Stuff that matters.

jcurbo

Re:I Think the Military Commissary's Freezers Were Hacked on Monday August 31, 2026 @04:41PM (#49514621)
Hi, I'm the poster. Sorry for the unexpected attention! I saw this on Bluesky and thought it was interesting enough to share here. If anything the style of your writing makes it stand out in a good way, we shouldn't always have polished/corporate-speak posts here.
Re:Formal Verification Gates for AI Coding Loops on Wednesday May 20, 2026 @08:02PM (#48216044)
I've had similar thoughts lately while using agents for coding. It seems like if I give the agents external tools and sources of truth they perform really well. In my case it was a lot of standards, extensive use of Rust language features (e.g. traits), formal methods tools, large-scale architecture and specification documents (accessed via a special tool I also wrote), and using the beads_rust tool for tracking session state and giving the agent a list of issues to work. I hadn't thought of this as 'backpressure' but I really like that framing. It gives the agents guardrails and context and external validity that it can't make up.
Re:How I use Claude Code: Separation of planning and execution on Saturday February 21, 2026 @10:13PM (#47107751)
This is pretty much my approach. I started with some spec files for a project I'm working on right now, based on some academic papers I've written. I ended up going back and forth with Claude, building plans, pushing info back into the specs, expanding that out and I ended up with multiple spec/architecture/module documents. I got to the point where I ended up building my own system (using claude) to capture and generate artifacts, in more of a systems engineering style (e.g. following IEEE standards for conops, requirement documents, software definitions, test plans...). I don't use that for session-level planning; Claude's tools work fine for that. (I like superpowers, so far. It hasn't seemed too much)

I have found it to work very well with Claude by giving it context and guardrails. Basically I just tell it "follow the guidance docs" and it does. Couple that with intense testing and self-feedback mechanisms and you can easily keep Claude on track.

I have had the same experience with Codex and Claude as you in terms of token usage. But I haven't been happy with my Codex usage; Claude just feels like it's doing more of what I want in the way I want.

This is great stuff! Civ3 is still by far my favorite Civ. And a nice use of Godot.
Re:I replaced Windows with Linux and everything's going great on Saturday January 10, 2026 @08:45PM (#46571961)
People interested in similar experiences should check out this podcast/series of videos where two Windows/Mac users try desktop Linux and report out on their experiences.

https://www.pcworld.com/article/2888221/check-out-pcworlds-n...

Re:State of the Fin 2026-01-06 – Jellyfin on Tuesday January 06, 2026 @06:20PM (#46520288)
Docker on Linux. Gonic, navidrome and airsonic (and airsonic-advanced, the fork I used) all have docker images available.

For me folder view is partially just what I’m used to, but even with good tags some kinds of music is easier to look up by folder (clsssical).

Re:State of the Fin 2026-01-06 – Jellyfin on Tuesday January 06, 2026 @02:46PM (#46517569)
I also use gonic over navidrome (and formerly airsonic) because Navidrome doesn't support folder view (and apparently never will). As nice as Navidrome is, that's a dealbreaker for me. Gonic works great though.
That's wild, I was in LA recently for work and drove by that area and wondered what was up with the street grid. I figured it must be something like this given the airport.
Battlefield's anti-cheat isn't supported in Proton/Wine, so you're stuck with Windows there.
Re:Is this memory safety here in the room with us? on Tuesday February 25, 2025 @01:27PM (#43175498)
This is a talk from DistrictCon. There is video available here: https://www.youtube.com/watch?v=wdfe2BnXQjU
Re:ICQ will stop working from June 26 on Friday May 24, 2024 @08:30PM (#40471697)
Likewise, I used it for a while as well. I also used a console client named micq, good times.
Re:Show HN: Astro App on Monday March 04, 2024 @11:49AM (#39592535)
I just want to pour one out for CalSky, that was a great page for setting up custom trackers for lots of astronomical things. It was very old school web too (for better or worse).
High five. 6 yrs in the USAF here.
Re:Johns Hopkins Beast on Wednesday March 30, 2022 @11:31PM (#30863555)
Yes; APL is a University Affiliated Research Center (UARC) and while we sometimes do work with industry, our whole purpose is to support the US Government. That doesn't necessarily mean you need a clearance, but much of our work is national security related.

https://en.wikipedia.org/wiki/University_Affiliated_Research...

Re:Johns Hopkins Beast on Wednesday March 30, 2022 @11:30PM (#30863549)
Nice to see fellow APLers here! I have been at APL 5 years and like it a lot.
Re:Probabilistic Machine Learning: Advanced Topics on Saturday March 05, 2022 @04:34PM (#30572133)
Echoing others, thank you for writing this (as someone doing an applied math masters and digging into ML - I have used ESL for a class but not the others you mention)
Re:Linux on a 486SX on Saturday January 22, 2022 @11:23AM (#30037994)
"But can it run Linux?"

Of course it can, 486s were common in Linux's early heyday. During my senior year of high school and freshman year of college ('97-'99) I ran Debian Slink on an IBM 486SX. X ran a little slow on it so I used it in console only mode. I mostly used it to do compsci homework. Before I settled on Debian full-time (still using it to this day) I used Red Hat, I think v5 (the original numbering, before RHEL). And before that probably Slackware on floppies. I eventually got an AMD K6-2 which ran a lot faster...

Of course, this article is about running modern Linux, but Debian Slink is still there to download and install and I'm sure it works just peachy.

The section on configuring the kernel really gives me nostalgia as I used to build my own kernels back then, something I haven't done in years.

Re:A Roadmap to Interstellar Flight (2016) on Thursday July 08, 2021 @03:02PM (#27776356)
Related: https://hub.jhu.edu/magazine/2021/spring/apl-interstellar-pr...

(Disclaimer, I work at APL, but not on this)

Re:First new VAX in 30 years? on Wednesday July 07, 2021 @01:45PM (#27763817)
Are there really PDP-11s out there still doing stuff? That is wild
Re:Light Pollution Map on Friday April 23, 2021 @11:35PM (#26922043)
Hit "Next" at the top and it will advance a day.

https://www.gi.alaska.edu/modules/custom/aurora-forecast/ima...

That's a direct link to the map as of this post. Unfortunately we have rain in the forecast here (I also live in MD).

Older »