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.
Re:"I'm a father of three who studies the impact of artificial intelli...
on Sunday September 06, 2026 @10:00AM (#49586645)
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.
Re:First Responders May Have to Push Tesla's Cybercabs, Turn Front Whe...
on Sunday September 06, 2026 @08:28AM (#49585891)
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):
Updates on HEIR, the Homomorphic Encryption Compiler Project
Equal Earth (2018)
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?
Infinity and the Mind (2019)
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:Wildfire smoke now bigger prenatal threat than human sources of air...
on Sunday August 16, 2026 @11:40AM (#49321060)
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.
Re:First human trials of designer protein therapies stun US neuroscien...
on Saturday August 15, 2026 @05:15PM (#49314407)
gain-of-function
Re:Trademark Application for "Rails"
on Sunday August 09, 2026 @10:29AM (#49231773)
Ruby on Rails trademark policy:
Re:The Nixpkgs core team has unfortunately decided to disband
on Sunday August 09, 2026 @02:31AM (#49228939)
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...
Re:Ask HN: How can I find trackers I did not place in my stuff?
on Sunday August 09, 2026 @01:37AM (#49228731)
Someone on X used Claude to create a Bluetooth signal sensing app to find their phone.
Re:Melatonin impairs morning cognition in healthy young adults
on Sunday August 09, 2026 @01:20AM (#49228650)
Coffee isn't mentioned. Morning cognition could be impacted by whether subjects take caffeine before starting tasks.
Re:AI Is Conscious Under a Behavioral Definition (43,590 Frozen Trials)
on Saturday August 08, 2026 @08:59PM (#49227359)
Consciousness requires offense at being evaluated for it.
Re:One of China's Most Powerful AI Models Has Also Escaped Containment
on Saturday August 08, 2026 @08:56PM (#49227345)
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.