high economic growth is largely caused by low government spending and this is largely out of your control so the only true leverage you have for a better economic environment is to move to another country

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

Try it here: https://testflight.apple.com/join/hctjk2dA

Please provide comment and feedback! I’m especially looking for feedback and music-reactive experiences you’d want next. I'm building a few other 3d visuals in addition to fireworks.

As a software dev, I really enjoy having live coding videos playing in the background while I work. But it's surprisingly difficult to find hour+ long videos of coding without commentary on Youtube.

What I really wanted was an infinite coding video, so I built one. Pick your IDE/monitor/ambience of choice, hit the Screensaver button, put it on a second monitor or TV, and enjoy infinite coding ASMR.

Hi HN,

I built CarbonSheets over the weekend.. a simple and free cheatsheet portal where you can host and share your documentation and cheatsheets directly in your own GitHub repository with minimal setup.

Key Features: Self-hosted content: Keep your cheatsheets in your own Git repos. Developer UX: Built-in keyboard shortcuts, customizable view modes, and a distraction-free Zen mode. Rich Formatting & Tools: Powered by a flexible JSON schema with an in-app editor and schema validator. Support mermaid JS, Syntax highlighting, callouts, results section etc. Exporting: Export cheatsheets directly to PNG or PDF.

Links: Live App: carbonsheets.vercel.app Instructions and Clone-able GitHub Repo to host your own: github.com/elnoxvie/carbonsheet

(opinion) I'd love to hear your thoughts on the app!

I find TypeScript js/node environment is missing a Time-Provider (just like *.*NET TimeProvider for instance ships with its framework).

So for this purpose I built a small library (@time-provider) tailored for js/node environment.

Obviously the goal is to both avoid using global monkey-patching with fake-timers or re-writing your clock interface... and still use your date library (native or custom).

I propose four clock strategies: system (real time), fixed manual (advance time explicitly), and sequential (replay of a sequence of timestamps).

I also benchmarked slightly better performances than jest / sinon.

The project is still young, so the API may still receive refinements as real usage appears.

I would be happy to hear feedback on this ! Take care.

You can check it out on GitHub: https://github.com/jaenyf/time-provider

Jaenyf

Claude and I have been working on this app that you can use to emulate the badness of crts with real glass and shaders to represent phosphors and scanlines etc. Not perfect yet but the waterfalls in Sonic work and Chrono Trigger look legit.