Recent posts
View all
Show HN: Newsmaps.io a map of how news topics are covered by different countries https://ift.tt/3i1SlLo
Show HN: Newsmaps.io a map of how news topics are covered by different countries https://ift.tt/L3yPJDo April 20, 2026 at 12:02AM
Show HN: Prompt-to-Excalidraw demo with Gemma 4 E2B in the browser (3.1GB) https://ift.tt/ZnqUwdX
Show HN: Prompt-to-Excalidraw demo with Gemma 4 E2B in the browser (3.1GB) https://teamchong.github.io/turboquant-wasm/draw.html April 19, 2026 at 02:17PM
Show HN: AWS's Kiro just got an Open source Codex https://ift.tt/z6rvsTB
Show HN: AWS's Kiro just got an Open source Codex https://ift.tt/Otbnli9 April 19, 2026 at 01:21AM
Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean https://ift.tt/d1QAznS
Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean Current support for nonlinear inequalities in Lean is quite limited. This package attempts to solve this. It contains a collection of Lean4 tactics for proving polynomial inequalities via sum-of-squares (SOS) decompositions, powered by a Python backend. You can use it via Python or Lean. These tactics are significantly more powerful than `nlinarith` and `positivity` -- i.e., they can prove inequalities they cannot. In theory, they can be used to prove any of the followi…
Show HN: Mind-OS – First free online AI dependency self‑assessment https://ift.tt/TOfdWeR
Show HN: Mind-OS – First free online AI dependency self‑assessment https://iamalex-afk.github.io/human-os-patch-33-protocols/ April 18, 2026 at 12:40AM
Show HN: Pyra – a Python toolchain experiment inspired by uv and Bun https://ift.tt/QlpzmaC
Show HN: Pyra – a Python toolchain experiment inspired by uv and Bun I’ve been working on Pyra for the past few months and wanted to start sharing it in public. Right now it’s focused on the core package/project management workflow: Python installs, init, add/remove, lockfiles, env sync, and running commands in the managed env. The bigger thing I’m exploring is whether Python could eventually support a more cohesive toolchain story overall, more in the direction of Bun: not just packaging, but maybe over time testing, tasks, notebooks, and oth…
Show HN: Free API and widget to look up US representatives https://ift.tt/o0kABEx
Show HN: Free API and widget to look up US representatives https://ift.tt/lrphXVi April 17, 2026 at 03:45AM
Social Plugin