frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)

https://github.com/JQCTeam/strong-goldbach-semantic-SOL-HOL
1•justdoitookk•53s ago•1 comments

Symbol-Level Editing

https://sysprogs.com/CodeVROOM/documentation/concepts/symboledits/
1•handfuloflight•1m ago•0 comments

WinUI OSS Update: Phased Rollout Toward Open Collaboration

https://github.com/microsoft/microsoft-ui-xaml/discussions/10700
1•ingve•6m ago•0 comments

How to make people give a damn

https://www.joanwestenberg.com/p/how-to-make-people-give-a-damn-92e3af37926932ef
1•sonderotis•6m ago•0 comments

Termagotchi – A terminal-based Tamagotchi simulation written in Go

https://github.com/ezeoleaf/termagotchi
2•ezeoleaf•6m ago•0 comments

Unleashing potential energy in my EV

https://old.reddit.com/r/Physics/comments/1mfcsv4/unleashing_potential_energy_in_my_ev/
2•thunderbong•8m ago•0 comments

Show HN: Valitron – I built an AI that interviews and ranks job applicants

2•valitron•8m ago•0 comments

Meejah/shwim: Peer-to-peer terminal sharing

https://github.com/meejah/shwim
2•aiNohY6g•10m ago•0 comments

You're probably not learning with AI

https://aryas.dev/post/llmstudy
2•bundie•10m ago•0 comments

Thinking in Crypto Security for Cyberpunk Individuals

3•ricecat•13m ago•0 comments

China claims Nvidia built backdoor into H20 chip

https://arstechnica.com/gadgets/2025/07/china-claims-nvidia-built-backdoor-into-h20-chip-designed-for-chinese-market/
2•jonbaer•14m ago•0 comments

Persona vectors: Monitoring and controlling character traits in language models

https://www.anthropic.com/research/persona-vectors
2•handfuloflight•18m ago•0 comments

Primesweeper

https://vole.wtf/primesweeper/
2•zeristor•23m ago•0 comments

C3 Programming Language 0.7.4 Release

https://github.com/c3lang/c3c/releases/tag/v0.7.4
2•Retro_Dev•33m ago•0 comments

Tesla loses Autopilot wrongful death case in $329M verdict

https://arstechnica.com/cars/2025/08/tesla-loses-autopilot-wrongful-death-case-in-329-million-verdict/
3•apparent•35m ago•1 comments

The Quintessential Urban Design of 'Sesame Street'

https://www.nytimes.com/2025/07/28/realestate/sesame-street-design-over-the-years.html
2•_tk_•37m ago•0 comments

Way-secure: A helper to create Wayland security contexts via security_context_v1

https://git.sr.ht/~whynothugo/way-secure
2•harporoeder•45m ago•0 comments

Retrieval Embedding Benchmark (RTEB)

https://huggingface.co/spaces/embedding-benchmark/RTEB
2•fzliu•49m ago•0 comments

Filesystem for syncing notes to your calendar

https://sr.ht/~marcc/agendafs/
2•xrayarx•50m ago•0 comments

Fathers plan legal action to get smartphones banned in England's schools

https://www.theguardian.com/technology/2025/jul/13/fathers-legal-action-smartphone-ban-england-schools
3•PaulHoule•57m ago•0 comments

Valley of Despair

https://jacksonslipock.bearblog.dev/new-post/
3•jacksonslipock•58m ago•1 comments

Show HN: I built a tool to make screenshots 10x better

https://screenshotframe.com
2•melvinzammit•1h ago•0 comments

Which States Lose the Most Money to Cybercrime?

https://www.upwind.io/industry-research/cybercrime-cost-by-state
2•josephjrobison•1h ago•0 comments

Ladybird Browser July Update

https://ladybird.org/newsletter/2025-07-31/
9•net01•1h ago•0 comments

Scientists Are Learning to Rewrite the Code of Life

https://www.nytimes.com/2025/07/31/science/dna-genetics-engineering-microbes.html
2•digital55•1h ago•0 comments

Ranking the 25 Top Venture-Backed Cybersecurity Companies Growing Fast in 2025

https://greenflagdigital.com/research/top-venture-backed-cybersecurity-companies-2025/
2•josephjrobison•1h ago•0 comments

OutRun: A new version of the game Out Run of 1986 for PC using SFML and C++

https://github.com/ZgzInfinity/OutRun
2•rcarmo•1h ago•0 comments

Parallel Programming Models

https://ayushgundawar.me/posts/html/parallel_programming_models.html
2•gundawar•1h ago•0 comments

Langton's Ant

https://haebom.github.io/Langton/
2•haebom•1h ago•0 comments

Terence Tao weighs in on the suspension of UCLA grants

https://mathstodon.xyz/@tao/114956840959338146
7•dargscisyhp•1h ago•0 comments
Open in hackernews

Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU

https://www.dougmacdowell.com/coffeematic-pc.html
174•dougdude3339•9h ago

Comments

BizarroLand•9h ago
This is the right kind of absurd for a Friday afternoon
dabumere•9h ago
This just made me smile
xandrius•8h ago
Absolutely cool project but unfortunately percolating coffee is nowhere near the best way to brew a good cup of coffee.
m463•8h ago
Should probably run cpu benchmarks while slowing water cooling pump + pressurizing cooling system above 9bar and expressing water through carefully tamped specially ground coffee and drip into cup.

or just have a large reservoir, severely overcool the cpu and cold-brew the coffee

MangoToupe•7h ago
This must be a matter of taste because I strongly disagree.
ViscountPenguin•6h ago
Good luck hooking up an espresso machine to a PC though.
shakna•6h ago
Tell that to the gaggiuino crowd.
Avicebron•5h ago
That's forbidden jutsu.
sillywalk•4h ago
It's not a PC, but SGI made an espresso machine inside an Indigo case as a marketing gag. The "Espressigo".

https://commons.wikimedia.org/wiki/Category:SGI_Espressigo

https://old.reddit.com/r/SiliconGraphics/comments/1eh9puu/sg...

MangoToupe•2h ago
I assume that they're referring to something other than espresso if they're trying to get the best cup.
dredmorbius•5h ago
Very little about this project screams "best" or "fully optimised".

Its objectives lie elsewhere.

Groxx•8h ago
I'm glad someone is still building what needs to be built <3
Joel_Mckay•8h ago
v0.2a needs to mine crypto to pay for its own coffee beans while peculating the coffee. =3
MostlyStable•8h ago
I assume you meant "percolating", but you very nearly spelled "speculating", which, given the crypto, seems more appropriate.
fadesibert•7h ago
And of course, peculation means misappropriating or embezzling funds. Again, given crypto (and certain notorious crypto exchanges), even more appropriate.
Joel_Mckay•6h ago
"Humor can be dissected, as a frog can, but the thing dies in the process and the innards are discouraging to any but the pure scientific mind." (E. B. White)

¯\_(ツ)_/¯"

Dilettante_•1h ago
FWIW, I would not have known 'peculating' was a real word with a meaning if GP hadn't explained.
Joel_Mckay•6h ago
Never, the French Press is superior in every regard. lol =3
mtillman•3h ago
SGI was ahead of the game: http://mycollins.net/sgicoffee.png
zeta0134•8h ago
This is the very best kind of silly project. :) I'm pleased to learn that the coffee is an effective (... sortof) heatsink and not merely part of the case.
jfengel•8h ago
Why not rig it the other way: pump water past the CPU, then through your coffee grounds?

It probably wouldn't be great for your CPU, because the temperature required to properly brew coffee is hotter than you really want for your CPU. But maybe get the water to 80C, and a secondary heater after that.

umanwizard•7h ago
I'm not expert in CPU water cooling but I'd guess the CPU would have to be way over 100C in order to get the water to 80C quickly.
macNchz•7h ago
You could recirculate water past the CPU via an insulated storage carafe. This would create a fun and exciting gamble wherein you might receive a freshly brewed pot of coffee OR your computer might turn itself off just before the water is hot enough to brew with, and the time it would take would be based on how hard you worked the PC.
reactordev•7h ago
This, except when it comes time to actually brew, it goes to a 5.25” slot to heat up, then you can determine the best delivery mechanism for your build. Shot/Kup, drip, pour over, just don’t build a french press PC.

And have a reservoir large enough to replenish the closed loop circuit when you press the button.

reaperducer•6h ago
The CD ROM drive should open so you can insert a paper cup and then the coffee dispenses into it.
mulmen•6h ago
Use a heat pump to keep the CPU (and GPU as a secondary heat source) at a lower temperature then heat the coffee water with a secondary heat exchanger. Then you can control the temperature of both cooling loops independently.
swiftcoder•18m ago
Maybe one wants a mini heat pump between the CPU and the coffee. 50º C is plenty for a heat pump to very efficiently push the temperature on the other side to 98º C or so
bongodongobob•8h ago
It better support RFC 2324.

https://en.m.wikipedia.org/wiki/Hyper_Text_Coffee_Pot_Contro...

throwmeaway222•2h ago
It does, unfortunately there is a bug as every request is returning a 418.
parlortricks•7h ago
Time for you to use my 1080ti with Furmark too cook some eggs and bacon to go with the coffee.
imchillyb•7h ago
Tread carefully. This is how the Borg started. “Your caffeinated and medicated existence will be added to our own, resistance is futile… pass the creamer.”
bluelightning2k•6h ago
100% Java compatible
9front•5h ago
He's using "Linux Mint" for OS. Should have used "Coffee Linux" instead.
ghm2180•5h ago
A key with haptic feedback that when pressed runs the CPU/GPU and as water heats up the button lets you know. Calibrate feedback to temperature and ease off the button when the water is done.
bitcrshr•4h ago
No worries of HTTP 418 here.
nojs•4h ago
Finally the Java logo makes sense.
happycube•3h ago
Someday this should be upgraded to an 8th or 9th gen core i7. ;)
iammrpayments•2h ago
I don’t know what the pipes are made of, but doesn’t look like something I’d like to heat and run my water through it before drinking it
ZiiS•1h ago
Usually PVC not dissimilar to your home plumbing; but yes at temperate it can leach.
Lio•1h ago
I’d like to see this project extended with AI to work out what drink the user really wants before dispensing a drink almost, but not entirely, unlike tea.

Share and enjoy!