frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Ulobo – a marketplace where service providers bid on customers

https://www.ulobo.com
1•ulobo•43s ago•0 comments

Brazil Lost 80 Percent of Its National Museum Collection. Now It's Rebuilding

https://www.smithsonianmag.com/science-nature/brazil-lost-80-percent-of-its-national-museum-colle...
1•sohkamyung•49s ago•0 comments

The Cost of AI

https://alextardif.com/AI.html
2•gafferongames•2m ago•0 comments

A Look Behind the for Loop

https://debastiani.net/Blog/a-look-behind-the-for-loop
2•olidb•6m ago•0 comments

Show HN: Site to check actual past weather for trip planning, not just averages

https://www.wengotravel.com
2•billymc•8m ago•0 comments

Show HN: Turn a URL into a custom lead-capture funnel

https://funnelt.com/
3•dittes•8m ago•0 comments

Goose – Local Companion for WHOOP 5.0 built in <24h

https://github.com/b-nnett/goose
3•denysvitali•9m ago•1 comments

Neovim Hooks for AI Agents

https://github.com/NishantJoshi00/sidekick
3•cat-whisperer•9m ago•0 comments

Twenty Thousand Hours Without a Robot – Perception and Training – Robotics

https://atomsfrontier.substack.com/p/twenty-thousand-hours-without-a-robot
2•jpatel3•10m ago•0 comments

Gradient Shader

https://garden.bradwoods.io/notes/shaders/gradient
3•surprisetalk•10m ago•0 comments

Consultants advised moving away from dependency on 600 small excel scripts

https://bitbang.social/@NanoRaptor/116677099077549296
3•ndr42•10m ago•0 comments

I analyzed 17.3M Maven artifacts to map the Java module ecosystem

https://github.com/raphw/jenesis-modules/blob/main/data/SUMMARY.md
2•raphw•10m ago•1 comments

Japanese Calbee rolls out monochrome snack packaging amid ink supply worries

https://english.kyodonews.net/articles/-/77153
2•giuliomagnifico•11m ago•1 comments

LlamaStash – Zero-overhead, terminal-native llama.cpp launcher

https://github.com/llamastash/llamastash
2•deepu105•12m ago•0 comments

El Niño to bring more heat and disasters in coming months, UN warns

https://www.politico.eu/article/el-nino-heat-disasters-un/
3•giuliomagnifico•15m ago•0 comments

A simple templating library for LLM prompts

https://promptsrus.io
2•sammy0910•15m ago•0 comments

Trying to build a community that does not become another dead Slack

https://www.indiehackers.com/post/trying-to-build-a-community-that-does-not-become-another-dead-s...
2•Itay_Forer•16m ago•1 comments

Show HN: Krimto – Your AI's memory as markdown in your own git

https://github.com/krimto-labs/krimto
1•paulbuiko•17m ago•0 comments

Show HN: Scan2Sheet – Receipt Scanner to Google Sheets for easy expense tracking

https://www.scan2sheet.com
1•TonyVu85•17m ago•1 comments

The F-Test: Detecting A/B Test Interactions and Conditional Treatment Effects

https://www.conductrics.com/ab-test-interactions-partial-f-test/
3•conductrics•18m ago•1 comments

The Rippling Impact of Grants to Woodworkers (Part 2)

https://christopherschwarz.substack.com/p/the-rippling-impact-of-grants-part
1•crescit_eundo•19m ago•0 comments

APM and Distributed Tracing in agentic era

https://engineering.theblueground.com/a-software-engineers-guide-to-observability-part-2-apm-dist...
1•andrikoz•19m ago•1 comments

Medical Waste Disposal

1•rehmanasghar•19m ago•0 comments

Mornings and nights no longer exist at 47C: A day in the hottest place in India

https://www.bbc.co.uk/news/articles/crmp0krp98ro
2•mellosouls•20m ago•0 comments

Ditto · a Nostr to Bitcoin Wallet

https://gitlab.com/soapbox-pub/ditto/-/blob/main/WALLET.md
2•janandonly•20m ago•0 comments

An AI agent ported our codebase from Python to Rust

https://aboutcode.org/blog/agentic-scancode-port-case-study/
2•Tiberium•21m ago•0 comments

LLM, give me a JSON. Make no mistakes

https://nobodywho.ooo/posts/llm-give-me-a-json/
4•marek-hradil•24m ago•0 comments

The Minimum Viable Unit of Saleable Software

https://brandur.org/minimum-viable-unit
2•surprisetalk•25m ago•0 comments

They Write the Right Stuff (1996)

https://web.archive.org/web/20031003042205/http://www.fastcompany.com/magazine/06/writestuff.html
2•rzk•25m ago•0 comments

New RFC 9989 for DMARC and updated guidance for postmasters

https://www.dmarctrust.com/blog/dmarcbis-rfc-9989-9990-9991
2•madflo•26m ago•0 comments
Open in hackernews

Leiden Declaration: AI is challenging the core values of mathematics

https://www.universiteitleiden.nl/en/news/2026/06/leiden-declaration-warns-ai-is-challenging-the-core-values-of-mathematics
2•jboynyc•59m ago

Comments

GlibMonkeyDeath•1m ago
The 5 threats:

1. Unreliable results

True for human generated results too - how many "proofs" of Fermat's Last Theorem were proposed then discarded when a mistake was found, before Wiles?

2. Lack of proper attribution and violation of copyright

I have trouble understanding the difference between a human reading and digesting copyrighted materials (i.e. "training") and AI training. As long as either case doesn't reproduce this material word-for-word without attribution (which is why we have a word for this - plagiarism.) OK, maybe an electronic thinking tool makes plagiarism easier if you are careless. A power saw is more dangerous than a hand saw, too.

3. Dependence and inequality

Any fancy automation tool brings this risk. Is a Matlab subscription or access to a data center "inequitable"? And yeah, if you live in a place where you need a car, then you have a mobility dependence. You can still walk, but it isn't practical.

4. Overhyping of results

I don't see a difference between human or AI generated here, although the newness of AI does lead to people being more interested at the moment. The shine will wear off eventually.

5. Loss of autonomy

I just don't understand why AI is a problem here - the "autonomy" here is about who sets what topics are interesting in mathematics. Is it because every amateur now has a new powerful tool that once only existed in the brains of a few adepts? So they (or AI itself) might have input into what problems are important?

So overall I think this isn't a very effective list of risks. Everyone is nervous that the unique thinking abilities that set mathematicians apart (and I completely get this as a physicist) are being eroded. Until the reliability of the output of AI systems improves by several nines, we need humans in the loop to make sure the output is correct (Point 1.) But given that AI is improving rapidly, extrapolation to the day where humans are effectively out of business is now something that needs to be considered. Just declaring we need humans to do mathematics research isn't going to be enough if that day ever arrives.

Edit: formatting