frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Keeping goals to yourself increases the chances of completing them? [pdf]

https://www.socmot.uni-konstanz.de/sites/default/files/09_Gollwitzer_Sheeran_Seifert_Michalski_When_Intentions_.pdf
4•jimsojim•56m ago

Ask HN: Which one do you use for planning and coding between sonnet and Opus?

1•neverenderr•48s ago•0 comments

K2 – Microsoft's big plan to save Windows 11 and win back trust from users

https://www.windowscentral.com/microsoft/windows-11/what-is-windows-k2-everything-you-need-to-kno...
1•AndrewDucker•4m ago•0 comments

Show HN: Ask what reviewers love and hate about any Google Play app

https://seam.obverselabs.com/
1•OtmaneBenazzou•4m ago•0 comments

What Is Cognitive OS? Turning Philosophy into Practical Cognitive Training

https://rainbowcity.substack.com/p/19-what-is-cognitive-os-turning-philosophy
1•Caelus9•5m ago•0 comments

How C++ enables us to provide seamless data obfuscation

https://protekkt.io/data-obfuscation-cpp-sdk.html
1•tzubcic•6m ago•0 comments

Superhumanoid General Purpose Robot

https://www.satyress.com/
1•Liriel•8m ago•0 comments

Part Four of the Six-Year Toaster Saga: The Human in Reverse

https://thinkingtoasters.com/2026/07/30/thoughts-of-a-toaster/
1•yesiot•8m ago•0 comments

We asked an AI about the future

https://www.swissinfo.ch/eng/demographics/we-asked-an-ai-about-the-future-its-answer-might-genuin...
1•jakzurr•8m ago•1 comments

Show HN: DeltaSnap – Undo for Mac, built on APFS snapshot entitlement from Apple

https://scaleninja.com/blog/deltasnap/
1•yadvr•8m ago•0 comments

Autistic Caveman: Why use many token when correct token do trick

https://github.com/jcllobet/autistic_caveman
1•AIrtemis•9m ago•1 comments

Ask HN: How are you handling production risks from AI generated code?

3•varda_62892•11m ago•1 comments

AI contract review inside Word – first law firm signing this week

https://clausio.pl
1•DavidKon•15m ago•0 comments

Replacing Polling with Events in a Trading Execution Engine

https://medium.com/@DolphinDB_Inc/building-an-event-driven-execution-engine-lessons-from-an-icebe...
2•yiweileng•16m ago•0 comments

Show HN: I built myself the simplest worktree management tool

https://github.com/kerem-kaynak/wt
1•kasktra•18m ago•1 comments

Show HN: Ripple – Auto-fixes downstream code when APIs change

https://aakash2408.github.io/ripple/
1•Aakash2408•19m ago•0 comments

Our Great Mutator

https://artagnon.com/art/mutator
1•artagnon•22m ago•0 comments

Show HN: I built a tool finding potential users discussing problems

https://agenmatic.ai/features
3•Nancylily•24m ago•4 comments

Show HN: A Dark Cave – minimalist survival/settlement building game

https://a-dark-cave.com/
1•julez_•29m ago•0 comments

Opus 5, The Best Vending Machine Capitalist

https://andonlabs.com/blog/opus-5-vending-bench
2•arc7•32m ago•0 comments

Tailscale with Mullvad leaks your DNS

https://github.com/tailscale/tailscale/issues/9284
2•dtj1123•37m ago•0 comments

The Apple Calculator Language

https://wadetregaskis.com/the-apple-calculator-language/
2•ingve•38m ago•0 comments

Tell HN: Rising Censorship in German Social Media

1•Fotzenfritz•41m ago•3 comments

Lilian Weng left Thinking Machines citing health reasons, then rejoins OpenAI

https://techcrunch.com/2026/07/29/thinking-machines-co-founder-lilian-weng-left-the-company-citin...
3•doppp•43m ago•0 comments

Show HN: My AI keeps getting smarter. I don't. So I built Engram

https://github.com/nagisanzenin/engram
1•nagisanzeninz•44m ago•0 comments

Show HN: BPM Companion – app that matches playlist to your cadence (beta)

https://bpmcompanion.app/
1•ksh2u•44m ago•0 comments

Explain This – select text, get an explanation from a local LLM

https://github.com/Vishwamitra/explain-this
1•vmmishra•47m ago•0 comments

Cisco FMC static credential vulnerability exploited as a zero-day

https://sec.cloudapps.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-fmc-static...
2•nyku•49m ago•0 comments

Keeping goals to yourself increases the chances of completing them? [pdf]

https://www.socmot.uni-konstanz.de/sites/default/files/09_Gollwitzer_Sheeran_Seifert_Michalski_Wh...
4•jimsojim•56m ago•0 comments

Why Higher-Order Logic Is a Good Foundation for Deep Verification

https://sequent.inc/blog/posts/why-hol-for-deep-verification/
2•matt_d•57m ago•0 comments

New microwave frying method could make French fries much healthier

https://www.sciencedaily.com/releases/2026/07/260729044048.htm
6•london_safari•58m ago•0 comments