Stuff
3 subscribers
199K links
Download Telegram
The Fall of Roam
5 by ingve | 0 comments on Hacker News.
Show HN: Stack Error – ergonomic error handling for Rust
6 by garrinm | 3 comments on Hacker News.
Stack Error reduces the up-front cost of designing an error handling solution for your project, so that you focus on writing great libraries and applications. Stack Error has three goals: 1. Provide ergonomics similar to anyhow. 2. Create informative error messages that facilitate debugging. 3. Provide typed data that facilitates runtime error handling.
Dezyne Programming Language
12 by aulisius | 0 comments on Hacker News.
Show HN: Python Simulator of David Deutsch’s "Constructor Theory of Time"
19 by SandroG | 2 comments on Hacker News.
Hi HN, I turned the freshly published paper “The Constructor Theory of Time” by David Deutsch and Chiara Marletto (arXiv, 13 May 2025) into an executable Python library. What you’ll find • One-to-one translation of the paper’s formalism: Substrates, Attributes, Tasks, Constructors, and task-algebra operators • Possibility / impossibility predicates and counterfactuals encoded exactly as defined • Test suite that mirrors every lemma and example (>95 % coverage, mypy-typed) • Reproductions of key results: time-keeping substrates, irreversibility proofs, quantum branching tasks, and a self-replicating constructor Why share?Reading the paper is tough going; expressing each definition in code clarified the ideas and surfaced a couple of questions for discussion. Hoping it helps others and sparks extensions. Looking for feedback: • Did I miss any subtleties in the formalism? • Which additional theorems or examples would you like implemented next? Repo: https://ift.tt/rXm1ZIp Thanks for taking a look—issues and PRs welcome!
Hyper Typing
8 by azhenley | 18 comments on Hacker News.
Show HN: Job board aggregator for best paying remote SWE jobs in the U.S.
12 by xitang | 3 comments on Hacker News.
I’ve been a remote SWE since the pandemic and truly appreciate its flexibilities and time saved from not commuting. Lately, friends and close ones have been asking me for advice on finding remote roles. I shared my remote company spreadsheet with them, but realized it was a rather manual process to scroll and refresh each company’s career page for new postings. So I put together a centralized job board aggregator that lists the best paying SWE jobs in one place, starting with the U.S. and 14 companies. The way it works is via a cron job that runs daily in the afternoon to pull the latest job postings from each company and updates the website with the new listings. Some other key features are 1. Quickly see which companies are actively hiring, e.g. Coinbase currently has the most openings 2. Filter by years of experience or companies to find suitable matches 3. Easily see estimated salary and posted date If you're also on the hunt for the next remote SWE role, I hope this site helps streamline your job search and would appreciate any feedback and suggestions. Thanks! Home page: https://ift.tt/HXhzmQM FAQ page with additional context: https://ift.tt/1lKEjHs