frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Monads in Lean

https://eli.thegreenplace.net/2026/monads-in-lean/
1•mfrw•1m ago•0 comments

Sharing common I/O across windows and Mac devices

https://utsv.work/blog/wisp/
1•singhutsav5501•3m ago•0 comments

Verano, AMD's first step toward a Zen-based superchip to rival Vera Rubin

https://www.theregister.com/systems/2026/11/10/a-closer-look-at-verano-amds-first-step-toward-a-z...
1•galaxyLogic•5m ago•0 comments

Show HN: Prolog-Powered Reverse WAF Logic Perimeter

https://prologwaf.site/
1•lokinpendawa•6m ago•0 comments

Anthropic Unveils Claude Whiteboards, Claude Sheets, and Claude Data

https://aidr.today/aa9b294e?lang=en
2•duyetdev•7m ago•0 comments

Subagents Conwidered Harmful

https://nikvdp.com/notes/subagents-considered-harmful/
3•nikvdp•11m ago•0 comments

Generative AI and the temporary upskilling of knowledge workers

https://www.nature.com/articles/s41562-026-02566-6
1•rohanm93•13m ago•0 comments

Best N8n Alternatives in 2026 (Open Source and Managed)

https://seliseblocks.com/blog/9-best-n8n-alternatives-in-2026-open-source-and-managed
1•meherabhossain•13m ago•0 comments

Brazil's AI Development Strategy Needs an Edge Layer – TechPolicy.Press

https://www.techpolicy.press/brazils-ai-development-strategy-needs-an-edge-layer/
1•rbanffy•17m ago•0 comments

Voice layer for any website – does it worth?

https://vopio.ai/
1•smartobject1978•23m ago•0 comments

Nest Thermostat in 2026

https://artificially-awesome.com/posts/nest/
1•ayanb9440•26m ago•0 comments

Show HN: Autonomous script testing 1.58M Harvard MPC orbits without Planet Nine

https://github.com/Dr-Logvinovich/IT3-Solar-System-Quantum-Architecture/
3•DRLogvinovich•42m ago•0 comments

Show HN: Buy the whole stock market in one cheap fund and get on with your life

https://vtchill.com/
2•HNdev1995•43m ago•0 comments

Going all-in on Sorbet (type-checking for Ruby)

https://docspring.com/blog/posts/going-all-in-on-sorbet/
1•nathan_f77•45m ago•0 comments

Nvidia loses ground in Washington chip fight after CEO spy scandal

https://www.politico.com/news/2026/11/10/nvidia-ceos-spy-scandal-tilts-capitol-hills-chip-fight-0...
3•snikolaev•54m ago•0 comments

Framework Yubikey Expansion Card

https://www.moparisthebest.com/framework-yubikey-expansion-card/
2•whalesalad•57m ago•0 comments

The Unexpected AI Stack: C# + .NET

https://chrlschn.dev/blog/2026/08/the-unexpected-ai-stack-csharp-dotnet-part-1/
2•mike1o1•57m ago•0 comments

Getting the (In)Formal Statement Right

https://www.robertj1.com/ai4science/getting-the-statement-right/
1•matt_d•57m ago•0 comments

Apple TV makes sign language interpretation a built-in accessibility feature

https://techcrunch.com/2026/11/10/apple-tv-makes-sign-language-interpretation-a-built-in-accessib...
4•colinprince•1h ago•0 comments

Beyond technology: Scientific taste and judgment in nutritional science

http://www.the-innovation.org/captcha/page?redirectUrl=%2Farticle%2Fdoi%2F10.59717%2Fj.xinn-nutri...
1•gmays•1h ago•0 comments

A sad update about a scissors maker that went viral (2018)

https://kottke.org/18/06/a-sad-update-about-a-scissors-maker-that-went-viral
1•zenincognito•1h ago•0 comments

28 Days in an underground pipe (to launch an attack on Russian positions)

https://www.ukrinform.net/rubric-ato/4182745-28-days-in-an-underground-pipe.html
2•giuliomagnifico•1h ago•0 comments

Greg Kurtzer's Ginux is now a userspace kernel

https://github.com/gmkurtzer/ginux
28•d3Xt3r•1h ago•4 comments

Cognizant dedicates more than 25000 professionals to Claude delivery

https://finance.yahoo.com/technology/ai/articles/cognizant-dedicates-more-25-000-113000969.html
1•sjdh76•1h ago•0 comments

The State of Go in 2026

https://blog.jetbrains.com/go/2026/11/10/state-of-golang-2026/
4•bigwhite•1h ago•0 comments

Further Reading from the Field Guide for Senior Software Engineers

https://themissingcipher.com/reading/
1•mooreds•1h ago•0 comments

The AI Arms Race Is Not Inevitable. It's Just Profitable

https://ai-frontiers.org/articles/the-ai-arms-race-is-not-inevitable-its-just-profitable
5•reasonableklout•1h ago•0 comments

Stacy Keach, star of stage and 'Mike Hammer' series, dies at 85

https://apnews.com/article/stacy-keach-dies-actor-e823cdf35ff64d9ca383adacec4eb9aa
4•petethomas•1h ago•1 comments

My AI Agents Found an Unmapped Maya Site in Mexico

https://pietromiotti.com/latest/maya-site/
5•nnx•1h ago•0 comments

What are your favorite tools?

2•d675•1h ago•0 comments
Open in hackernews

I solved almost all of free problems on LeetCode using AI

https://old.reddit.com/r/leetcode/comments/1krg7by/i_solved_almost_all_of_free_problems_on_leetcode/
3•tevlon•1y ago

Comments

cratermoon•1y ago
I'm sure all the free problems from LeetCode are in the training sets, so I don't think this is much of a flex.
tevlon•1y ago
i was thinking the same. And i am sure it is in the training set, but i couldn't solve 10 hard problems. Also, most of the hard problems, the LLMs weren't able to solve in one shot. How do you explain this?
cratermoon•1y ago
There are many more correct answers to the easy problems than to the hard ones. Thus the LLM is more likely to hit upon the correct completion for them.
tevlon•1y ago
makes sense
whobre•1y ago
Alright, but how can this exercise help them pass an interview? The point of leetcode is to memorize the solutions so one can do well in an interview; yes, I agree it’s ridiculous.