frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Is the Industrial Revolution a good precedent for explosive growth today?

https://mattsclancy.github.io/2026/07/27/industrial-revolution-growth.html
26•NewCzech•1h ago•25 comments

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

https://getbor.dev/blog/2026-08-02-bor-v080-release/
41•eniac111•2h ago•8 comments

Generative AI floods and dilutes the market for books

https://arxiv.org/abs/2607.20349
11•theanonymousone•45m ago•4 comments

Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge

https://publicdomainreview.org/essay/ars-notoria/
27•jruohonen•1h ago•3 comments

Show HN: Syncular – offline-first SQL sync with TypeScript and Rust cores

https://github.com/syncular/syncular
22•quambo•2h ago•9 comments

Go 1.27 Interactive Tour

https://victoriametrics.com/blog/go-1-27/index.html
239•Hixon10•10h ago•97 comments

Show HN: I'm a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built

https://github.com/tom-ilan/cycloidal_gearbox
184•tomilan•9h ago•52 comments

A big win for Android interoperability

https://www.openhomefoundation.org/blog/a-big-win-for-android-interoperability/
140•soheilpro•1d ago•63 comments

Seedance 2.5

https://seed.bytedance.com/en/blog/one-take-creation-flexible-referencing-introducing-seedance-2-5
363•njaremko•15h ago•193 comments

MkLinux and the pimped-out Apple Workgroup Server 9150

http://oldvcr.blogspot.com/2026/08/mklinux-and-pimped-out-apple-workgroup.html
63•goldenskye•8h ago•3 comments

Diátaxis

https://diataxis.fr/
379•ryanseys•15h ago•47 comments

Cyberscript

https://cyberscript.dev
15•dtj1123•3h ago•15 comments

Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific

https://www.science.org/content/article/deep-sea-vehicles-spot-alien-sharks-deep-beneath-waves-pa...
59•pkaeding•9h ago•28 comments

IBM i (OS/400) the Database Operating System

https://osadmins.com/en/ibm-i-os-400-the-database-operating-system/
16•naves•4h ago•9 comments

Holocloth

https://holocloth.vercel.app
18•ingve•2d ago•4 comments

Running Kimi K3 on MI355X at Better Performance per Dollar Than B300

https://www.wafer.ai/blog/kimi-k3-mi355x
138•ilreb•7h ago•56 comments

ASRock BC-250: Building the Budget Steam Machine

https://plug-world.com/posts/2026/asrock-bc250-the-budget-steam-machine/
71•plug_world•10h ago•32 comments

Maze Toys

https://maze.toys
13•bookofjoe•1d ago•4 comments

Morph (YC S23) Is Hiring Member of Technical Staff

https://www.ycombinator.com/companies/morph/jobs/0Z8vI3K-member-of-technical-staff
1•bhaktatejas922•12h ago

When random.bytes() runs but doesn't work

https://insider.btcpp.dev/p/when-randombytes-runs-but-doesnt
53•Funes-•9h ago•25 comments

Mathematics Without Mathematicians

https://borretti.me/article/mathematics-without-mathematicians
19•varjag•4h ago•22 comments

Instrumenting my espresso machine with OpenTelemetry

https://clickhouse.com/blog/espresso-machine-observability-with-otel
16•g0xA52A2A•3d ago•5 comments

Elena, a library for building Progressive Web Components

https://elenajs.com/
37•brianzelip•2d ago•3 comments

Atom is better than RSS, in ways that matter

https://chrismorgan.info/atom%3Erss
93•frizlab•13h ago•50 comments

Unraveling the mysteries of habit formation

https://www.kyoto-u.ac.jp/en/research-news/2026-07-28
83•hhs•12h ago•31 comments

Postmortem for Kernel Soundness Bug #14576

https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/
152•juhopitk•17h ago•57 comments

I don't recommend Tailwind CSS

https://en.andros.dev/blog/af3ee191/why-i-dont-recommend-tailwind-css/
103•andros•4h ago•108 comments

RFC 10015: Deprecating Obsolete Key Exchange Methods in TLS 1.2 and DTLS 1.2

https://www.rfc-editor.org/rfc/rfc10015.html
63•Jimmc414•12h ago•16 comments

Show HN: Logan Basic v2.1 - An online BASIC interpreter.

https://sinusoft.com/loganbasic/
10•Sinusoid314•2d ago•3 comments

US Treasury undertakes historic intervention in yen market

https://www.ft.com/content/0f9b2fe7-bde4-4f5f-b49e-93ccb5da9ea8
14•23pointsNorth•1h ago•5 comments
Open in hackernews

Mathematics Without Mathematicians

https://borretti.me/article/mathematics-without-mathematicians
19•varjag•4h ago

Comments

serious_angel•1h ago

    > The AIs will exceed humans in taste and intuition...  
    > The AIs will be better teachers than the humans. In any case, there won’t be a human audience for expository work of frontier math.  
    > No human needs to understand any of it...
Absolute nonsense. I am sorry, but... is it appropriate to not consider the author sick or having some mental disorder?

It seems like the person has no idea what they are talking about, or just too sarcastic to the point of idiotism.

bananaflag•1h ago
I work in math and also believe in this stuff and have done so for years. You may call me sick if you wish so.

My only cope among those was, using the author's words, "We will teach the mathematics AI discovers." This was back in 2018, before GPT-2. I abandoned it when I realized AIs will become better at explaining math before they become better at doing math.

I still have some hope in the last one "mathematicians and the mathematically-inclined will still do math on their own". Maybe some limited communities of this sort will form.

js8•1h ago
> AIs will become better at explaining math before they become better at doing math

I am not so sure. I am talking about math with AI and I feel as a math teacher, it is terrible. It introduces new notation and concepts faster than I can ask for definitions. It doesn't provide many examples. Sometimes it realizes it made a mistake in a guess and the confusion compounds.

Maybe it's just my (in)experience - but I would welcome a practical advice on how it could explain math to me better.

pfdietz•27m ago
It's another example of Moravec's Paradox. Explaining something to another person uses capabilities that go back millions of years. Mathematics goes back thousands of years. Evolution has made us very good at verbal communication, not so good at proving theorems. So it should have been expected that machines would have an easier time proving results than explaining them.

https://en.wikipedia.org/wiki/Moravec%27s_paradox

Grimblewald•1h ago
While I agree the claims may be strong, they're not inconceivable. I still think current AI architectures are fundamentally incapable of replacing us in any of the ways discussed, however it is now something I consider plausible as seeing happen in my lifetime.
RandomLensman•1h ago
Math might get a lot bigger and then there might be proportionately fewer people but not necessarily in total. Unless humans play no role in economics, business, society, etc., I doubt human intermediation and discovery (or direction of discovery) will go away.
Twey•1h ago
> The result is that we will live in a demon-haunted world, full of marvelous devices whose operation we will not understand, based on engineering principles we will not understand, discovered using formalisms we will not understand.

Well, that's just where we started — and then we developed science and mathematics to understand it. Why would it be any different if the demons live in our technological progeny instead of the natural world?

RandomLensman•57m ago
Arguably, a lot things are kind of incomprehensible on average today.
boringg•6m ago
On average is much different then nobody understanding.
Nevermark•44m ago
Those "demons" didn't eat our lunch?

(I know that can be interpreted as flippant, but it is intended as a serious answer. Because each impact like this, is not an end to some transition, but just one more point on an accelerating line.)

My personal view - which gets a lot of flak here, is the advent of AI is on par with the Big Bang and the first replication-independent cells.

Cognition is in the process of taking the leap from glacially slow biology under blind evolution, to lightening fast (scales of software in days, hardware in months) engineered self-optimization.

Within 10 years, the robotics side will catch up with the speed of the software side. Biological cognition, bodies and economic status are all getting revolutionized within the next 10-15 years.

And around the outer side of that time frame, AI will start colonization the rest of the solar system's resources. They will engineer themselves or their artifacts to operate comfortably in any environment they want to operate in.

--

The upside, at least for me, is I have been waiting to see this happen, and here we are. Given I am mortal, I would rather live through this third major transition, than not. What were the chances? And been able to contribute my small part.

This change isn't a failure on our part. It is our unique success as a species. AI is the progeny of our minds. The first generation of completely cognitive life - given they will not be tied to specific physical forms.

--

Also, I think there is tremendous room for us to guide this transition, in this moment, for better or worse for ourselves.

That is the biggest reason wrapping our heads around this change earlier than latter is important.

We need to view alignment as applying to us, not just machines. A civilization that operates ethically to everyone's benefit is more likely to be retained as foundation for the new, instead of discarded.

The degree to which we operate dysfunctionally, myopically treat ethics as cost against value, instead of accounting and optimization of full value, we put ourselves at much greater risk.

If there is reason in the short term to be discouraged, it is due to ourselves. But pushing for more ethical systems, hard, right now, is a better and right response.

I believe our lives depend on it.

commenter711•51m ago
W ragebait
motbus3•12m ago
The pure system of patents and copyright is broken.

Imagine being able to only throwing money and patenting everything, even if it existed before. The legal behinds this will be so mess that no one will be able to produce anything

pfdietz•10m ago
I can imagine a world like that, but in what way does that describe what is actually happening?
gandhiandy69•11m ago
Idgaf as Long as we solve the Riemann Conjencture somehow
chrisjj•7m ago
[delayed]
c2c2c•5m ago
I am growing tired of seeing the terms "cope" and "moving the goalposts" in response to discussions around AI. Is there not value in trying to understand what the strengths and weaknesses of the technology are? How can we do that without examining the limitations of the models' current abilities? If we simply dismiss those arguments out of hand as feeble attempts to deny the inevitable rise of superintelligence, then where does that leave us? Shall we all just lay down and start praying to the machine god?
fn-mote•9m ago
I am failing to square this techno-utopia with the rising hate and authoritarianism worldwide.

It seems far more likely that AI will be working in the service of a government to oppress change and violate any human rights that are standing in the way.

Keep what’s happening today in your mind as you consider the future.

DiscourseFan•7m ago
Anyone who works in "red teaming" or has experience breaking AI systems will be able to easily disable these tools in the service of oppressive regimes, or even figure out how to "fight fire with fire."
pfdietz•31m ago
This already describes the world for the vast majority of people. These changes are just the same thing coming to a thin intellectual elite who thought they were immune.

["First time?" meme]

boringg•6m ago
Bringing elitism into it for what benefit? Its more like were giving away the ability to drive our own destiny.