frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Postgres LISTEN/NOTIFY does not scale

https://www.recall.ai/blog/postgres-listen-notify-does-not-scale
295•davidgu•3d ago•110 comments

Show HN: Pangolin – Open source alternative to Cloudflare Tunnels

https://github.com/fosrl/pangolin
32•miloschwartz•4h ago•4 comments

What is Realtalk’s relationship to AI? (2024)

https://dynamicland.org/2024/FAQ/#What_is_Realtalks_relationship_to_AI
232•prathyvsh•11h ago•79 comments

Show HN: Open source alternative to Perplexity Comet

https://www.browseros.com/
161•felarof•9h ago•55 comments

Batch Mode in the Gemini API: Process More for Less

https://developers.googleblog.com/en/scale-your-ai-workloads-batch-mode-gemini-api/
21•xnx•3d ago•5 comments

FOKS: Federated Open Key Service

https://foks.pub/
177•ubj•13h ago•42 comments

Graphical Linear Algebra

https://graphicallinearalgebra.net/
180•hyperbrainer•10h ago•12 comments

Flix – A powerful effect-oriented programming language

https://flix.dev/
218•freilanzer•12h ago•89 comments

Measuring the impact of AI on experienced open-source developer productivity

https://metr.org/blog/2025-07-10-early-2025-ai-experienced-os-dev-study/
514•dheerajvs•10h ago•331 comments

Belkin ending support for older Wemo products

https://www.belkin.com/support-article/?articleNum=335419
53•apparent•8h ago•47 comments

Red Hat Technical Writing Style Guide

https://stylepedia.net/style/
161•jumpocelot•11h ago•71 comments

Yamlfmt: An extensible command line tool or library to format YAML files

https://github.com/google/yamlfmt
25•zdw•3d ago•12 comments

Launch HN: Leaping (YC W25) – Self-Improving Voice AI

49•akyshnik•8h ago•25 comments

Turkey bans Grok over Erdoğan insults

https://www.politico.eu/article/turkey-ban-elon-musk-grok-recep-tayyip-erdogan-insult/
85•geox•3h ago•58 comments

How to prove false statements: Practical attacks on Fiat-Shamir

https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
199•nsoonhui•16h ago•153 comments

eBPF: Connecting with Container Runtimes

https://h0x0er.github.io/blog/2025/06/29/ebpf-connecting-with-container-runtimes/
35•forxtrot•7h ago•0 comments

Regarding Prollyferation: Followup to "People Keep Inventing Prolly Trees"

https://www.dolthub.com/blog/2025-07-03-regarding-prollyferation/
40•ingve•3d ago•1 comments

Show HN: Cactus – Ollama for Smartphones

108•HenryNdubuaku•7h ago•45 comments

Grok 4

https://simonwillison.net/2025/Jul/10/grok-4/
178•coloneltcb•6h ago•148 comments

Analyzing database trends through 1.8M Hacker News headlines

https://camelai.com/blog/hn-database-hype/
117•vercantez•2d ago•61 comments

Not So Fast: AI Coding Tools Can Reduce Productivity

https://secondthoughts.ai/p/ai-coding-slowdown
57•gk1•2h ago•36 comments

Diffsitter – A Tree-sitter based AST difftool to get meaningful semantic diffs

https://github.com/afnanenayet/diffsitter
89•mihau•13h ago•26 comments

Matt Trout has died

https://www.shadowcat.co.uk/2025/07/09/ripples-they-cause-in-the-world/
142•todsacerdoti•19h ago•42 comments

Is Gemini 2.5 good at bounding boxes?

https://simedw.com/2025/07/10/gemini-bounding-boxes/
259•simedw•14h ago•58 comments

The ChompSaw: A Benchtop Power Tool That's Safe for Kids to Use

https://www.core77.com/posts/137602/The-ChompSaw-A-Benchtop-Power-Tool-Thats-Safe-for-Kids-to-Use
80•surprisetalk•3d ago•66 comments

Foundations of Search: A Perspective from Computer Science (2012) [pdf]

https://staffwww.dcs.shef.ac.uk/people/J.Marshall/publications/SFR09_16%20Marshall%20&%20Neumann_PP.pdf
5•mooreds•3d ago•0 comments

Show HN: Typeform was too expensive so I built my own forms

https://www.ikiform.com/
166•preetsuthar17•17h ago•86 comments

Final report on Alaska Airlines Flight 1282 in-flight exit door plug separation

https://www.ntsb.gov:443/investigations/Pages/DCA24MA063.aspx
131•starkparker•5h ago•143 comments

Radiocarbon dating reveals Rapa Nui not as isolated as previously thought

https://phys.org/news/2025-06-radiocarbon-dating-reveals-rapa-nui.html
17•pseudolus•3d ago•8 comments

Optimizing a Math Expression Parser in Rust

https://rpallas.xyz/math-parser/
127•serial_dev•17h ago•55 comments
Open in hackernews

An open letter from educators who refuse the call to adopt GenAI in education

https://openletter.earth/an-open-letter-from-educators-who-refuse-the-call-to-adopt-genai-in-education-cb4aee75
55•mathgenius•4h ago

Comments

amelius•4h ago
Makes sense. You also don't give calculators to students of arithmetic.
luqtas•4h ago
woah, calculators aren't burning energy and water on big servers running technology that violates copyright and gives money to capital oriented companies
multjoy•4h ago
You can rely on the answer a calculator gives you. There's no danger that it will simply be confidently wrong.
somanyphotons•4h ago
Some calculators will confidently state incorrect answers to questions like:

(10^15 + 7.2 − 10^15) * 100

sfpotter•4h ago
A calculator uses some type of finite precision arithmetic internally. If you run afoul of the limits of this arithmetic system, it may very confidently give you a wrong answer!
mulmen•3h ago
LLMs are notoriously bad at math but they’re not LMMs so that shouldn’t be surprising.

If you want an LLM to do math you just ask it to write a program with tests.

throwaway422432•1h ago
How about Pentium II floating point arithmetic?
monero-xmr•3h ago
Water? I didn’t realize that when you use water it disappears from the universe, or even from earth, or even from the local ecosystem
rel_ic•3h ago
Energy doesn't disappear, but obviously it moves from useful forms to unuseful forms. Same with water. Your sarcasm just comes off as naive arrogance.
monero-xmr•2h ago
The water is gone? Where did it go?
mulmen•2h ago
Converted to steam and carried out of the local ecosystem by wind. From the perspective of anyone downstream the water is gone.
monero-xmr•2h ago
Really? All water that goes into the air is gone forever? And then the wind blows it away? Incredible
mulmen•46s ago
[delayed]
123yawaworht456•1h ago
you people cling to that straw like it's a lifeboat
DavidPiper•3h ago
(Theses days) it's hard to know what you mean by this and whether you're being sarcastic.

No you don't give arithmetic students calculators for their exams, and you expect them to know how to do it without one.

Yes you probably give professionals who need to do arithmetic calculators so they can do it faster and with less errors.

Giving calculators to people who don't know how, why and/or when to use them will still get you bad results.

Giving calculators to someone who doesn't have any use for one is at best a waste of money and at worst a huge waste of time if the recipient becomes addicted to calculator games.

izacus•3h ago
The person you're responding to has clearly used the word "student". What on earth are you on about?
DavidPiper•2h ago
I interpreted "students of arithmetic" as anyone that practices arithmetic - similar to "students of medicine", etc.
mulmen•2h ago
Seems like a reasonable expansion of the concept to me. Why the aggressive dismissal?
mulmen•3h ago
Can’t tell if you are serious but I will assume you are.

Why not? Seems like a logical conclusion.

1. Introduce the concept.

2. Demonstrate an intuitive algorithm.

3. Assist students as they practice and internalize the algorithm.

4. Reinforce this learning by encouraging them to teach each other.

5. Show them how to use tools by repeating this process with the tool as the concept.

darth_avocado•2h ago
You want to limit the use of AI in schools just the way you want to limit calculators: ensure the student can do the math without calculators, even when the computation is hard and then teach them to use the calculator as a tool to help them move faster.

Restricting AI completely or introducing it too early, both would be harmful.

stephen_g•3h ago
Sarcasm? We actually weren't allowed to take any kind of calculator into any of our advanced maths exams in University (and I'm talking just 15 years ago, not when they were newfangled things).
sfpotter•4h ago
One of my favorite essays on a similar topic: https://sites.math.washington.edu//~koblitz/mi.html

Neal Koblitz's "The Case Against Computers in Math Education".

EMIRELADERO•3h ago
Wow. Now there's a quote:

> "Youngsters who are immersed in this popular culture are accustomed to large doses of passive, visual entertainment. They tend to develop a short attention span, and expect immediate gratification. They are usually ill equipped to study mathematics, because they lack patience, self-discipline, the ability to concentrate for long periods, and reading comprehension and writing skills."

For context, the essay is from 1996. You could have told me this is from the current year and I would have believed you.

ultrarunner•3h ago
> You could have told me this is from the current year and I would have believed you.

Agreed. It's a matter of degree, and I wonder what reaching the eventual limit (if there is one) looks like.

bombcar•3h ago
There’s a platonic dialogue that has basically the same sentiment.
doctorpangloss•3h ago
There is no ethical generative AI. Meaning fully permissioned datasets, end-to-end. Not yet scientifically possible. So 100%, everyone who claims this, is lying, usually by omission, and some BS startup isn't going to invent this.

In my open letter, I wouldn't say "ethical" or "environmental" or any of these intersectional things because you're giving space for lies.

People want ethical AI even if it's impossible. So we get aspirationally ethical AI. Meaning, people really want to use generative AI, it makes life so easy, and people also want it to be ethical, because they don't want to make others upset, so they will buy into a memetic story that it is "ethical." Even if that story isn't true.

Aspirationally ethics already got hundreds of millions of dollars in funding. Like look at generative AI in the media industry. Moonvalley - "FULLY LICENSED, COMMERCIAL SAFE" (https://www.moonvalley.com) - and yet, what content was their text encoder trained on? Not "fully licensed," no not at all. Does everything else they make work without a text encoder? No. So... But people really want to believe in this. And it's led by DeepMind people! Adobe has the same problem. Some efforts are extremely well meaning. But everyone claiming expressly licensed / permissioned datasets is telling a lie by omission.

It's not possible to have only permissioned data. Anthropic and OpenAI concede, there's no technology without scraping. Listen, they're telling the truth.

ACCount36•3h ago
I loathe this entire line of "ethical" moral grandstanding.

AI should be trained on all data that is available. For a significant part of the dataset, it's the most useful that data has ever been.

xnx•3h ago
> GenAI is a threat to student learning and wellbeing.

This blanket dismissal is not going to age well, and reads like a profession lashing out.

With the right system prompt, AI can be a patient, understanding, encouraging, non-judgemental tutor that adapts and moves at the student's pace. Most students can not afford that type of human tutor, but an AI one could be free or very affordable.

"How AI Could Save (Not Destroy) Education" (https://www.youtube.com/watch?v=hJP5GqnTrNo) from Sal Khan of Khan Academy

avmich•3h ago
Most student can not afford the expertise necessary to have AI patient etc.

I think the original phrase was made with the assumption "as it is right now".

I do share concerns of undersigned, even though don't necessarily agree with all statements in the letter.

happytoexplain•2h ago
It's not a blanket dismissal, it's a fact in context. It should read like a profession lashing out - that's what it is.

AI has enormous upsides and enormous downsides. The "you're going to look so dumb in the future" dismissal is lazy. Inevitability does not make something purely beneficial.

It's a fallacious line of thinking that's disappointingly common in tech-minded people (frequently seen in partnership with implications that Luddites were bad or stupid, quotes from historical criticisms of computers/calculators, and other immature usage of metaphor).

xnx•2h ago
I'd respect the statement more if it acknowledged that AI had some benefit, or potential benefit in the future, but they did not want to use it currently.
lawlessone•2h ago
Maybe if we move from LLMS to real AI it will have benefits.
ktallett•2h ago
If you are using the most commonly available AI and have an average ability of perfecting a search term, right now AI is not a particularly useful tool in learning anything. It is far too inaccurate to learn anything challenging. The key term here is could, and yes it is possible but there is nothing yet to say we shall get there.
netsharc•2h ago
> AI can be a patient, understanding, encouraging, non-judgemental tutor

Groan... no it can't. It can simulate all those things, but at the moment, "AI" can't be patient, understanding, and whether judgemental or non-judgemental.

OK it can be encouraging. "You're one good student, $STUDENT_NAME!" (1).

1) https://www.youtube.com/watch?v=jRPPdm09xZ8

abletonlive•1h ago
I can say the exact same thing about you or anybody else. You can’t be patient, understanding, encouraging, non-judgmental tutor. You can only simulate it.

I really can’t understand why people don’t understand this. What am I missing?

netsharc•1h ago
Geezus freaking christ.

Now is that a simulation of someone who thinks he's responding to a cretin... or actually the feelings of someone who thinks he's talking to a cretin?

binary132•1h ago
Philosophical zombies are supposed to be a thought experiment to demonstrate that solipsism and nihilism are stupid, not a rhetorical device to equate human minds to linear algebra statistical parrots.
Loughla•2h ago
My experience in higher education is that students use AI for one of two things:

1. To do the homework because they view classes and grades as a barrier to their future instead of preparation for such.

2. In place of a well crafted query in an academic database.

akomtu•3h ago
AI is turning into a cult that's dividing us into those who support it and those who reject it. Arguments on both sides are flimsy, as no one really understands what it is. People see it as a black-box magic crystal.
bshepard•3h ago
"You have not discovered a potion for remembering, but for reminding; you provide your students with the appearance of wisdom, not with its reality. Your invention will enable them to hear many things without being properly taught, and they will imagine that they have come to know much while for the most part they will know nothing. And they will be difficult to get along with, since they will merely appear to be wise instead of really being so.” -- someone wise, or was he?
sergiomattei•3h ago
This is absurd. I’ve learned so much from having an LLM tutor me as a I go through a dense book, for example.
kunzhi•3h ago
> At its heart, education is a project of guiding learners to exercise their own agency in the world. Through education, learners should be empowered to participate meaningfully in society, industry, and the planet.

I agree but I have never seen an education system that had this as a goal. It's also not what society or employers actually want. What is desired are drones / automatons that take orders and never push back. Teaching people about agency is the opposite of that.

We are so stuck in a 19th century factory mindset everywhere, GenAI is just making it even more obvious.

andy99•3h ago
> Current GenAI technologies represent unacceptable legal, ethical and environmental harms, including exploitative labour, piracy of countless creators' and artists' work, harmful biases, mass production of misinformation, and reversal of the global emissions reduction trajectory.

It's really annoying that political stuff always pollutes things. I largely agree with the position about GenAI being bad for education, but that position is not strengthened by tacking on a bunch of political drivel.

KevinMS•2h ago
I'm not the biggest fan of AI for everything but you couldn't create something more of a dagger to the heart of the current education system. If you are in the U.S., carefully watch for the D party to turn on AI in their messaging and you'll be witness to the strong influence that teachers unions have on them. Disagree me all you want, but keep your eyes open, I guarantee you'll see it soon.
sfpotter•2h ago
Interesting thought but my impression is that the democrats are much more beholden to other forces at play in the school system. I have friends who are teachers in the public school system, have been active in the union, and are indeed against AI in the classroom (although they're hardly rabid or unreasonable about it). On the other hand, the school administrators and IT departments are much more aggressive about pushing AI on them and pressing them to work it into the classroom somehow. Considering that the democrats are largely captured by corporate interest, and considering that tech/AI is one of the biggest corporate interests there is right now... I just don't see things playing out the way you predict.
KevinMS•2h ago
the administrators and IT departments are not in the teachers unions.
sfpotter•1h ago
Yes... exactly my point.
thinkingtoilet•2h ago
Every teacher I talked to has said the influence of AI has been negative. Why wouldn't they fight to remove it from the classroom?
KevinMS•2h ago
They are talking about cheating with it, not replacing teaching with it.
atleastoptimal•2h ago
The cat is out of the bag. Kids will use AI to write papers, learn topics, cheat on take-home tests, etc. Only a completely closed-off environment with no access to the internet could prevent this.

The best option is to change the incentives. 95% of kids treat school as a necessary hurdle to enter the gentry white-collar class. Either make the incentives personal enrichment instead of letter grades or continue to give students every incentive to use AI at every opportunity.

JKCalhoun•2h ago
Whether you agree or disagree, I am happy to see a community putting out (in writing even) their problems with AI as it exists.

To the degree it is possible I would like to think the AI community would try to address their issues.

I understand that some of the items in their open letter show a complete incompatibility with AI — period. But misinformation, harmful biases, energy resource use should be things we all want to improve.

nineplay•2h ago
I find this all-or-nothing attitude extraordinary. Chatbots are the best personal tutors you'll ever find and I tell students so. Do you need to understand Mitosis for Bio 101? Ask your favorite chatbot. Then ask what daughter cells are - a question you might be too afraid to ask in class because maybe it was covered yesterday you weren't listening. Then ask why there are no "son" cells - which you'd also be to afraid to ask about in class but you want to know.

You can ask every dumb question. You can ask for clarification on every term you don't understand. You can go off on tangents. You can ask the same thing again ten minutes later because you forgot already.

No teacher or tutor or peer is going to answer you with the same patience and the same depth and the same lack of judgement.

Is it good enough for a grad student working on their thesis? Maybe not. Is it good enough for a high school student. Almost certainly. Does it give this high school student a way to better _really_ understand biology because they can keep asking questions until they start to understand the answers. I think absolutely.

neurostimulant•1h ago
Should we teach our kids to outsource their thinking to those genai services where the big clouds control the gate? It would be less of an issue if local genai with comparable capability is more accessible to general public.
123yawaworht456•1h ago
Previously: An open letter from educators who refuse the call to adopt [printed books, ballpoint pens, calculators, computers, the internet] in education