frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

MiniMax-M1 open-weight, large-scale hybrid-attention reasoning model

https://github.com/MiniMax-AI/MiniMax-M1
70•danboarder•2h ago•1 comments

Make little apps for you and your friends

https://pontus.granstrom.me/scrappy/
138•8organicbits•3h ago•43 comments

The Grug Brained Developer (2022)

https://grugbrain.dev/
763•smartmic•12h ago•308 comments

Honda conducts successful launch and landing of experimental reusable rocket

https://global.honda/en/topics/2025/c_2025-06-17ceng.html
1009•LorenDB•17h ago•301 comments

Show HN: Lstr – A modern, interactive tree command written in Rust

https://github.com/bgreenwell/lstr
119•w108bmg•6h ago•36 comments

Windows x86-64 System Call Table (XP/2003/Vista/7/8/10/11 and Server)

https://j00ru.vexillium.org/syscalls/nt/64/
21•walterbell•2h ago•8 comments

Locally hosting an internet-connected server

https://mjg59.dreamwidth.org/72095.html
39•pabs3•3h ago•30 comments

Resurrecting a dead torrent tracker and finding 3M peers

https://kianbradley.com/2025/06/15/resurrecting-a-dead-tracker.html
503•k-ian•15h ago•155 comments

Timescale Is Now TigerData

https://www.tigerdata.com/blog/timescale-becomes-tigerdata
100•pbowyer•17h ago•56 comments

Bzip2 crate switches from C to 100% Rust

https://trifectatech.org/blog/bzip2-crate-switches-from-c-to-rust/
254•Bogdanp•12h ago•102 comments

Benchmark: SnapDOM may be a serious alternative to html2canvas

https://zumerlab.github.io/snapdom/
13•jmm77•1h ago•1 comments

3D-printed device splits white noise into an acoustic rainbow without power

https://phys.org/news/2025-06-3d-device-white-noise-acoustic.html
145•rbanffy•2d ago•21 comments

OpenSERDES – Open Hardware Serializer/Deserializer (SerDes) in Verilog

https://github.com/SparcLab/OpenSERDES
33•peter_d_sherman•5h ago•2 comments

Building Effective AI Agents

https://www.anthropic.com/engineering/building-effective-agents
367•Anon84•15h ago•65 comments

“Don’t mock what you don't own” in 5 minutes (2022)

https://hynek.me/articles/what-to-mock-in-5-mins/
16•JNRowe•2d ago•6 comments

Which company would you prefer to join?

https://www.companymatches.com/
16•wsycharles0o•2h ago•10 comments

What Google Translate can tell us about vibecoding

https://ingrids.space/posts/what-google-translate-can-tell-us-about-vibecoding/
162•todsacerdoti•13h ago•95 comments

AMD's CDNA 4 Architecture Announcement

https://chipsandcheese.com/p/amds-cdna-4-architecture-announcement
152•rbanffy•15h ago•28 comments

A Straightforward Explanation of the Good Regulator Theorem

https://www.lesswrong.com/posts/JQefBJDHG6Wgffw6T/a-straightforward-explanation-of-the-good-regulator-theorem
3•surprisetalk•3d ago•0 comments

Show HN: Cpdown – Copy any webpage/YouTube subtitle as clean Markdown(LLM-ready)

https://news.ycombinator.com/from?site=github.com/ysm-dev
4•ysm0622•1h ago•0 comments

Now might be the best time to learn software development

https://substack.com/home/post/p-165655726
211•nathanfig•18h ago•141 comments

Dinesh’s Mid-Summer Death Valley Walk (1998)

https://dineshdesai.info/dv/photos.html
56•wonger_•8h ago•20 comments

Making 2.5 Flash and 2.5 Pro GA, and introducing Gemini 2.5 Flash-Lite

https://blog.google/products/gemini/gemini-2-5-model-family-expands/
309•meetpateltech•16h ago•185 comments

I Wrote a Compiler

https://blog.singleton.io/posts/2021-01-31-i-wrote-a-compiler/
66•ingve•3d ago•33 comments

Why JPEGs still rule the web (2024)

https://spectrum.ieee.org/jpeg-image-format-history
171•purpleko•18h ago•290 comments

Foundry (YC F24) Hiring Early Engineer to Build Web Agent Infrastructure

https://www.ycombinator.com/companies/foundry/jobs/azAgJbN-foundry-software-engineer-new-grad-to-mid-level
1•lakabimanil•11h ago

Show HN: I made an online Unicode Cuneiform digital clock

https://oisinmoran.com/sumertime
72•OisinMoran•3d ago•14 comments

LLMs pose an interesting problem for DSL designers

https://kirancodes.me/posts/log-lang-design-llms.html
152•gopiandcode•13h ago•103 comments

Proofs Without Words

https://artofproblemsolving.com/wiki/index.php/Proofs_without_words
40•squircle•3d ago•11 comments

Strangers in the Middle of a City: The John and Jane Does of L.A. Medical Center

https://www.latimes.com/science/story/2025-06-15/l-a-seeks-help-for-a-patient-with-no-name
26•dangle1•2d ago•9 comments
Open in hackernews

Proofs Without Words

https://artofproblemsolving.com/wiki/index.php/Proofs_without_words
40•squircle•3d ago

Comments

fiforpg•5h ago
Nice. There's an entire book like this for geometric statements. Every picture is a fact, proofs are supplied by the reader:

https://users.mccme.ru/akopyan/papers/EnGeoFigures.pdf

Caution: proofs of some of the statements in it are difficult.

JadeNB•4h ago
I think that is rather different. The traditional meaning of "proofs without words" is that the picture is the proof, or at least, if you believe that a proof can only be in words, that the picture should convey the idea so transparently that anyone with reasonable mathematical skill can routinely translate it into words.
brianberns•5h ago
I made a game out of creating proofs without words: https://brianberns.github.io/Tactix/
vonnik•5h ago
Anyone who enjoys this should read David Bessis’s Mathematica.
vismit2000•5h ago
There is also this youtube channel called 'Mathematical Visual Proofs' on similar theme: https://www.youtube.com/@MathVisualProofs
downboots•4h ago
Another great site is https://theoremoftheday.org/ with a neat one-pager overview of each theorem
jupitr•2h ago
and also how to lie with visual proofs: https://www.youtube.com/watch?v=VYQVlVoWoPY
ViscountPenguin•2h ago
I've never really been a fan of proofs without words; they've always felt way too slippery to me, for lack of a better term. A well worded proof with nice explanatory diagrams hits the spot for me instead.
paufernandez•56m ago
I'm the opposite. I am not convinced until I "see it". Probably has to do with our innate talents.
perlgeek•27m ago
For me, the visual proofs of simple sums (like The sum of the first n odd natural numbers is n²) works pretty well for me.

For the more geometry-based ones where you have move triangles around and so, it's often not obvious to me that two angles that look the same really always are the same, and that things that add up to rectangle do so reliably, independently of the actual angles used in the examples.

I guess in these cases, a more parameterized, interactive version would work better, where you can use sliders to adjust some of the angles and lengths used. That should make it much more obvious that it's not just an artifact of particular angles used in an example.

cuber_messenger•1h ago
There's a book called "Proofs without words". Fun to have a glance. (https://ia801405.us.archive.org/24/items/proofs-without-word...) It also has a sequel.