News for hackers. Stuff that matters.

turtleyacht

Re:The auto-formalization of mathematics versus law on Monday September 07, 2026 @01:49PM (#49600961)
Law has to remain tethered to humanist intent, not a steamroller of strong types.
Re:Is mathematics about to enter the conservatory? on Sunday September 06, 2026 @09:00PM (#49592587)
Right. It's not conservatories, because we will have communities of Lean programmers and hobbyists helping things along, a group effort that is poorly described by relegation to a limited, privileged set of performers.
Re:Is mathematics about to enter the conservatory? on Sunday September 06, 2026 @08:44PM (#49592495)
AI could keep on generating an "observable universe," and mathematicians discover things by way of validating results. This doesn't seem much dissimilar to astronomy.
Re:PortableMind – Offline AI on a USB on Sunday September 06, 2026 @08:40PM (#49592473)
Can it write code? Seeing a lot of examples except that.
Have them train their own models for two decades. When Google started, we should have been building our own search engines.
Re:Who said a tech addict can't be comfortable far from home? on Sunday September 06, 2026 @08:42AM (#49586006)
That's a lot to pack. It's your very own roamlab.
Exoskeletons could become part of the first responder kit.
Re:Signal Processing Circuit to detect Hall effect? on Sunday September 06, 2026 @08:17AM (#49585794)
There are keyboards now that feature the Hall effect.
Re:The revolt of the reader on Saturday September 05, 2026 @07:20PM (#49581703)
A lot of similar pieces have not considered a post is both the first and final work of a thing: opinions, and experience, and less of much in cited facts; with AI, that there even was a revision pass at all.

I guess there is a kind of participatory element to the discourse where, if you want an audience, there is an editing process. Whereas in other cases, we wrote these as progress notes on an unknown journey, breadcrumbs or upturned stones to mark a path to the horizon.

Maybe it's the difference between writing as a mode of discovery, retreading the mental arc of a solution, and writing something honed to leave a mark.

Re:Your Boss Is Watching You on Saturday September 05, 2026 @04:40PM (#49580434)
Article's link to the free-to-read version:

https://knowablemagazine.org/content/article/society/2026/su...

Re:Poetry book that Anthropic tried to censor on Saturday September 05, 2026 @11:35AM (#49577547)
One place to view the book, Intellectual Things (1930):

https://babel.hathitrust.org/cgi/pt?id=uc1.b3711210&seq=21

Re:The Hidden History of the Western Esoteric Tradition on Saturday August 22, 2026 @10:23AM (#49400061)
Machines cannot magick; or, how do spirits consort with the unconscious?
Re:"skipping their no-op fuel starves nothing" on Thursday August 20, 2026 @04:08AM (#49371771)
If the change makes the function return early, why did perf tests fail?
Re:Why I still hand write my commit messages on Monday August 17, 2026 @06:22PM (#49338477)
These handcrafted 50- and 72-char messages end up squashed and forgotten. Somehow, this specific ephemerality is completely fine.
Re:Why I still hand write my commit messages on Monday August 17, 2026 @06:10PM (#49338351)
The only place that isn't reviewed. Little missives, stray thoughts, tiny research. And insurance for "Why not just tries."
Re:SAS Rescued Trapped British Diplomats in Albania on Monday August 17, 2026 @04:48AM (#49328005)
(2020)
Re:The Day of Small Things on Saturday August 15, 2026 @10:46PM (#49316450)
According to the preface, if the garden were a software project, the author maintains it in private, keeps no mailing list, does not accept commissions, remains closed-source (and experimental), and endorses the components of the tech stack advertised.

Any correspondence is redirected, with reply only if relevant to the author's published works.

gain-of-function
Re:Trademark Application for "Rails" on Sunday August 09, 2026 @10:29AM (#49231773)
Ruby on Rails trademark policy:

https://rubyonrails.org/trademarks

The SC's Role in Disbandment of the Nixpkgs Core Team - https://discourse.nixos.org/t/the-scs-role-in-the-disbandmen...

A Statement from Members of the Moderation Team (2025) - https://discourse.nixos.org/t/a-statement-from-members-of-th...

Someone on X used Claude to create a Bluetooth signal sensing app to find their phone.
Coffee isn't mentioned. Morning cognition could be impacted by whether subjects take caffeine before starting tasks.
Consciousness requires offense at being evaluated for it.
It's strange to announce capabilities with lab leaks.
Re:Ford Fathom on Saturday August 08, 2026 @12:02PM (#49223056)
What does it look like? No pictures of the vehicle.

Older »