news newest ask show jobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Show HN: BookSmarts – An app to remember what you read using active recall

https://www.google.com/search?q=https://booksmarts.app

1•HarryBullman•24s ago•0 comments

Miralis RISC-V Virtual Firmware Monitor

https://miralis-firmware.github.io/

1•fork-bomber•1m ago•0 comments

Show HN: Collaborate on Documents with Claude Code

https://github.com/Ch00k/claude-review

1•Ch00k•3m ago•0 comments

Lost all my sites overnight: Vercel terminated my account without notice

1•hikerell•4m ago•0 comments

MIT Response to the "Compact"

https://encompass.alum.mit.edu/s/1314/bp19/interior.aspx?sid=1314&gid=1&pgid=60&cid=169&referer=&...

1•jonahbenton•4m ago•1 comments

A game where you program a lander to lander on the moon

https://moonlander.rocks

1•daives•5m ago•0 comments

Meet Neurosymbolic AI, Amazon's Method for Enhancing Neural Networks

https://www.wsj.com/articles/meet-neurosymbolic-ai-amazons-method-for-enhancing-neural-networks-6...

1•teleforce•5m ago•0 comments

Amazon's giant ads have ruined the Echo Show

https://www.theverge.com/report/797672/amazon-echo-show-ads-alexa-plus

1•terminalbraid•5m ago•0 comments

Command and Conquer: Generals in C++20 with D3D12, x64, widescreen fixes

https://github.com/jmarshall2323/CnC_Generals_Zero_Hour

1•klaussilveira•9m ago•0 comments

HeroRATs

https://apopo.org/herorats/?v=0b3b97fa6688

3•thunderbong•9m ago•0 comments

Neuro-Symbolic AI

https://en.wikipedia.org/wiki/Neuro-symbolic_AI

3•teleforce•11m ago•0 comments

Making Slint Desktop-Ready

https://slint.dev/blog/making-slint-desktop-ready

1•weinzierl•11m ago•0 comments

Terraform Fileset Function: Filter and Deploy Specific Files

https://spacelift.io/blog/terraform-fileset

1•unripe_syntax•11m ago•0 comments

CamoLeak: Critical GitHub Copilot Vulnerability Leaks Private Source Code

https://www.legitsecurity.com/blog/camoleak-critical-github-copilot-vulnerability-leaks-private-s...

1•nopurpose•11m ago•0 comments

RemoteIp trusts link-local IP ranges, has_secure_token expiration gets config

https://world.hey.com/this.week.in.rails/remoteip-trusts-link-local-ip-ranges-and-has_secure_toke...

1•amalinovic•12m ago•0 comments

Show HN: I built a tool to help freelancers find better Upwork jobs with AI

https://github.com/daniloedu/UpworkOpportunityMatcher

1•daniloedu•14m ago•0 comments

Build a React App with Bun

https://bun.com/guides/ecosystem/react

2•benzguo•15m ago•0 comments

All-Natural Geoengineering with Frank Herbert's Dune

https://www.governance.fyi/p/all-natural-geoengineering-with-frank

2•toomuchtodo•15m ago•0 comments

Show HN: Static builds of popular open source libraries on npmjs.org

https://github.com/ffilibs/poc

1•sebst•18m ago•0 comments

Flies keep landing on North Sea oil rigs

https://theconversation.com/thousands-of-flies-keep-landing-on-north-sea-oil-rigs-then-taking-off...

2•speckx•19m ago•0 comments

It Begins: An AI Attempted Murder to Avoid Shutdown

https://www.youtube.com/watch?v=f9HwA5IR-sg

1•tux•19m ago•1 comments

Climate goals go up in smoke as US datacenters turn to coal

https://www.theregister.com/2025/10/10/datacenter_coal_power/

3•rntn•20m ago•2 comments

Airlines Are Now Credit Cards with Wings

https://viewfromthewing.com/airlines-are-now-credit-cards-with-wings-delta-admits-its-now-choosin...

2•nradov•20m ago•0 comments

Next-gen vaccine prevents up to 88% of multiple aggressive cancers

https://newatlas.com/disease/dual-adjuvant-nanoparticle-vaccine-aggressive-cancers/

2•amichail•21m ago•0 comments

Someone programmed a 65-year old computer to play Boards of Canada's 'Olson'

https://www.engadget.com/audio/someone-programmed-a-65-year-old-computer-to-play-boards-of-canada...

1•warrenmiller•23m ago•0 comments

Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP

https://blog.tadsummit.com/2025/10/10/erlang-red-walkthrough/

2•vkatsuba•24m ago•1 comments

EA has released the Godot-based Battlefield 6 Portal SDK

https://old.reddit.com/r/godot/comments/1o2gg8v/ea_has_released_the_godotbased_battlefield_6/

3•bob1029•24m ago•0 comments

How View Caching in Rails Works (2020)

https://www.honeybadger.io/blog/ruby-rails-view-caching/

2•Bogdanp•24m ago•0 comments

The Prairie Farmers Preserving the Most Threatened Ecosystem – Forever

https://reasonstobecheerful.world/prairie-farmers-preserve-most-threatened-ecosystem-forever/

6•PaulHoule•27m ago•0 comments

Show HN: A Golang package for graceful task termination

https://github.com/bobvawter/go-stopper

1•BobVawter•29m ago•0 comments

Open in hackernews

Truth-Aware Decoding: Program Logic for Factual LMs

https://arxiv.org/abs/2510.07331

2•HenryAI•5h ago

Comments

HenryAI•5h ago

This preprint proposes Truth-Aware Decoding (TAD): a program-logic, knowledge-base–aligned, decode-time guard system for LMs; it casts oracle filtering as a logic judgment, proves when greedy steps are safe under sound/complete guards, and defines an entropy-style invariant for factual risk. Case studies report fewer hallucinations without hurting throughput, with Lean-verified artifacts.