frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Spur solver – Z3-backed model-finder solved values for coding agent

https://github.com/getspur/spur/tree/main/crates/spur-solver
1•mf_kevintruong•1h ago
Hi guy, I am author of Spur , I want to share the Spur solver which is backed by z3 for neuro-symbolic reasoning, combining probabilistic language models with mathematical constraint solving

The ideal here : LLM will give out constranst and translate the constranst to the z3 SMT language, then give out feedback loop between LLM model and neuro-symbolic reasoning to give out better reasioning

looking for feedback and comments from HNs

Thanks and best regards Kevin

Interconverting Std:Function with Copyable_function

https://quuxplusone.github.io/blog/2026/07/26/function-explosion/
1•jandeboevrie•9m ago•0 comments

JIT for the Code Vectorization Can't Optimize

https://medium.com/@DolphinDB_Inc/beyond-vectorization-dolphindbs-jit-compiler-gets-a-ground-up-r...
1•yiweileng•10m ago•0 comments

A practical partitioner for distributed simulations on sparse dynamic domains

https://dl.acm.org/doi/10.1145/3787521
1•matt_d•10m ago•0 comments

Doing general vibe math in Programming Language Theory

https://twitter.com/TimSweeneyEpic/status/2081458495006634477
1•tosh•11m ago•0 comments

I built a project management tool because every alternative felt too complicated

https://www.simplegantt.net
1•maciekdebiec•11m ago•0 comments

Searching for Robots Is Surprisingly Hard

https://rohboter.com/
1•mrsamramirez10•11m ago•0 comments

Authoritative Dnsmasq in a MikroTik Container

https://op-co.de/blog/posts/mikrotik_authoritative_dnsmasq/
1•jandeboevrie•12m ago•0 comments

EU Fines Google $1.02B for Favoring Its Own Services

https://www.wsj.com/tech/google-fined-1-02-billion-under-eus-tech-antitrust-rules-7e8ae1fb
2•1vuio0pswjnm7•17m ago•0 comments

Waymo Is Racking Up Thousands of Dollars of Parking Fines in Austin

https://www.wsj.com/business/autos/waymo-is-racking-up-thousands-of-dollars-of-parking-fines-in-a...
1•1vuio0pswjnm7•20m ago•0 comments

RedHat 7.2 (2001), Abiword 1.0, & Sanger's Rule towards kernel development

https://inavoyage.blogspot.com/2026/07/redhat-72-2001-abiword-sangers-rule.html
1•initramfs•20m ago•0 comments

Brief Answers to Cosmic Questions (~2000)

https://lweb.cfa.harvard.edu/seuforum/faq.htm
2•tempestn•21m ago•0 comments

F-14A Central Air Data Computer (CADC) FPGA Reconstruction

https://github.com/ATaylorCEngFIET/f14_CADC/
1•starkparker•23m ago•0 comments

Study: Curious robots mimic how children can learn to understand language

https://www.oist.jp/news-center/news/2026/7/24/curious-robots-mimic-how-children-can-learn-unders...
1•giuliomagnifico•24m ago•0 comments

Show HN: Rainslice – AI Employees for Home Services Businesses

https://rainslice.ai
1•edgware674•28m ago•0 comments

Keyboard Shortcuts are my Superpower

https://sightlessscribbles.com/posts/how-keyboard-shortcuts-are-my-superpower/
1•robin_reala•33m ago•0 comments

Amazon Music's Artist Conflation

https://www.jefftk.com/p/amazon-musics-artist-conflation
1•luu•33m ago•0 comments

China Chipmaker CXMT Jumps 472% in Debut After Blockbuster IPO

https://www.bloomberg.com/news/articles/2026-07-26/china-memory-champion-cxmt-set-to-debut-after-...
2•magnio•34m ago•0 comments

Antares: Highly Efficient Open Weight AI Models for Vulnerability Localization

https://blogs.cisco.com/ai/introducing-antares-the-most-efficient-open-weight-ai-models-for-vulne...
1•chillax•35m ago•0 comments

SecretSpec 0.17: Scopes, secrets caching, SOPS, age, and systemd credentials

https://secretspec.dev/blog/secretspec-0-17-scopes-secrets-caching-age-and-systemd-credentials/
1•domenkozar•41m ago•0 comments

Open dataset of i2c addresses and voltages for 50 common boards

https://github.com/i2c-net/i2c-address-dataset
1•chzburgrz•47m ago•0 comments

TIRx: An Open Compiler Stack for Evolving Frontier ML Kernels

https://tvm.apache.org/2026/06/22/tirx
2•EvgeniyZh•55m ago•0 comments

3D Printed Nuclear Reactor [video]

https://www.youtube.com/watch?v=gwRWRDrfrvA
1•flitzofolov•59m ago•1 comments

Tell HN: Leaving your country is your only real leverage

4•julienreszka•1h ago•6 comments

Show HN: Spur solver – Z3-backed model-finder solved values for coding agent

https://github.com/getspur/spur/tree/main/crates/spur-solver
1•mf_kevintruong•1h ago•0 comments

Basilisk: Fast 100% PEP compliant Python type checker

https://www.basilisk-python.dev/
1•theusus•1h ago•0 comments

Psion Emulator – classic Psion palmtops in your browser

https://joehaines.com/psion/
1•randkyp•1h ago•0 comments

The most official water costs $120k a gallon

https://signoregalilei.com/2026/07/26/the-most-official-water-costs-120000-a-gallon/
3•srijan4•1h ago•0 comments

AI Workspace for Your PC

https://stuard.ai
1•Ifesol•1h ago•1 comments

Verisign Cooperative Agreement

https://www.ntia.gov/program/verisign-cooperative-agreement
5•themaxdavitt•1h ago•0 comments

Nvidia in Talks with OpenAI to Guarantee $250B Financing for Data Center

https://www.wsj.com/tech/ai/nvidia-in-talks-with-openai-to-guarantee-250-billion-financing-for-da...
6•taurath•1h ago•1 comments