news newest ask show jobs

Made with ♥ by @iamnishanth

Open Source @Github

GPUHammer: Rowhammer attacks on GPU memories are practical

https://gpuhammer.com/

102•jonbaer•3h ago•35 comments

Show HN: Shoggoth Mini – A soft tentacle robot powered by GPT-4o and RL

https://www.matthieulc.com/posts/shoggoth-mini

395•cataPhil•12h ago•80 comments

Reflections on OpenAI

https://calv.info/openai-reflections

420•calvinfo•11h ago•231 comments

NIST ion clock sets new record for most accurate clock

https://www.nist.gov/news-events/news/2025/07/nist-ion-clock-sets-new-record-most-accurate-clock-world

276•voxadam•11h ago•98 comments

Running a million-board chess MMO in a single process

https://eieio.games/blog/a-million-realtime-chess-boards-in-a-single-process/

55•isaiahwp•3d ago•5 comments

Where's Firefox going next?

https://connect.mozilla.org/t5/discussions/where-s-firefox-going-next-you-tell-us/m-p/100698#M39094

114•ReadCarlBarks•6h ago•137 comments

The FIPS 140-3 Go Cryptographic Module

https://go.dev/blog/fips140

110•FiloSottile•7h ago•41 comments

To be a better programmer, write little proofs in your head

https://the-nerve-blog.ghost.io/to-be-a-better-programmer-write-little-proofs-in-your-head/

264•mprast•10h ago•111 comments

Congress moves to reject bulk of White House's proposed NASA cuts

https://arstechnica.com/space/2025/07/congress-moves-to-reject-bulk-of-white-houses-proposed-nasa-cuts/

29•DocFeind•59m ago•6 comments

My Family and the Flood

https://www.texasmonthly.com/news-politics/texas-flood-firsthand-account/

107•herbertl•5h ago•17 comments

Encrypting files with passkeys and age

https://words.filippo.io/passkey-encryption/

84•thadt•1d ago•46 comments

How bad are childhood literacy rates?

https://www.vox.com/culture/419070/childhood-literacy-college-students-reading-crisis-ai

23•pseudolus•3d ago•29 comments

The Story of Mel, A Real Programmer, Annotated (1996)

https://users.cs.utah.edu/~elb/folklore/mel-annotated/node1.html#SECTION00010000000000000000

69•fanf2•3d ago•23 comments

Plasma Bigscreen rises from the dead with a better UI

https://www.neowin.net/news/kdes-android-tv-alternative-plasma-bigscreen-rises-from-the-dead-with-a-better-ui/

131•bundie•10h ago•45 comments

Easy dynamic dispatch using GLIBC Hardware Capabilities

https://www.kvr.at/posts/easy-dynamic-dispatch-using-GLIBC-hardware-capabilities/

26•Bogdanp•3d ago•3 comments

Hierarchical Modeling (H-Nets)

https://cartesia.ai/blog/hierarchical-modeling

65•marviel•8h ago•17 comments

Designing for the Eye: Optical corrections in architecture and typography

https://www.nubero.ch/blog/015/

124•ArmageddonIt•10h ago•19 comments

Six Years of Gemini

https://geminiprotocol.net/news/2025_06_20.gmi

5•brson•1h ago•0 comments

Claude for Financial Services

https://www.anthropic.com/news/claude-for-financial-services

99•mildlyhostileux•5h ago•53 comments

Hazel: A live functional programming environment with typed holes

https://github.com/hazelgrove/hazel

50•azhenley•8h ago•11 comments

Lorem Gibson

http://loremgibson.com/

112•DyslexicAtheist•2d ago•21 comments

Show HN: Beyond Z²+C, Plot Any Fractal

https://www.juliascope.com/

76•akunzler•9h ago•22 comments

Mostly dead influential programming languages (2020)

https://www.hillelwayne.com/post/influential-dead-languages/

96•azhenley•3d ago•55 comments

Mira Murati’s AI startup Thinking Machines valued at $12B in early-stage funding

https://www.reuters.com/technology/mira-muratis-ai-startup-thinking-machines-raises-2-billion-a16z-led-round-2025-07-15/

80•spenvo•10h ago•73 comments

Voxtral – Frontier open source speech understanding models

https://mistral.ai/news/voxtral

60•meetpateltech•13h ago•16 comments

OpenAI – vulnerability responsible disclosure

https://requilence.any.org/open-ai-vulnerability-responsible-disclosure

195•requilence•4h ago•56 comments

LLM Inevitabilism

https://tomrenner.com/posts/llm-inevitabilism/

1531•SwoopsFromAbove•23h ago•1446 comments

CoinTracker (YC W18) is hiring to solve crypto taxes and accounting (remote)

1•chanfest22•10h ago

Unlike ChatGPT, Anthropic has doubled down on Artifacts

https://ben-mini.com/2025/claude-is-kicking-chatgpts-butt

43•bewal416•4h ago•16 comments

Petabit-class transmission over > 1000 km using standard 19-core optical fiber

https://www.nict.go.jp/en/press/2025/05/29-1.html

89•the_arun•3d ago•47 comments

Open in hackernews

Hazel: A live functional programming environment with typed holes

https://github.com/hazelgrove/hazel

50•azhenley•8h ago

Comments

Awtem•6h ago

i love it. That being said, please show some examples and screenshots on the homepage and github's Readme.

disconcision•4h ago

unfortunately the best source for examples and screenshots at the moment might be a search of my twitter feed: https://x.com/search?q=from%3Adisconcision%20hazel ... we need to update the website

toomim•52m ago

Ok, but those are excellent screenshots-- better than most projects' official screenshot lists!

bitbasher•6h ago

Hazel is also the name of Cherno's game engine.[1]

1: https://hazelengine.com/

eterps•6h ago

It would be incredibly interesting to see how LLM code generation would hook into this.

gregtc•6h ago

This is a paper about Chat LLMs in Hazel: https://arxiv.org/abs/2409.00921

disconcision•4h ago

llm hole filling ala the paper is actually live in the dev version right now (if you enter an openrouter API key in the second sidebar tab). it's slow and buggy at the moment though, it's only been running at all for the last few days

dub_gui•5h ago

The live demo is super cool! https://hazel.org/build/dev/

dang•4h ago

Related. Others?

Hazel: A live functional programming environment featuring typed holes - https://news.ycombinator.com/item?id=42004133 - Oct 2024 (86 comments)

Hazel: A live functional programming environment featuring typed holes - https://news.ycombinator.com/item?id=24299852 - Aug 2020 (14 comments)

burnt-resistor•3h ago

Missed opportunity to call it "Donut". ;o)

andsoitis•26m ago

> typed-hole-driven development.

every hole has a type

drive the type, drive the hole

the bigger the hole, the bigger the type

every hole has a type