Recent posts
View all
Show HN: Brygga – A modern, fast, feature-rich IRC client for macOS https://ift.tt/b32ca07
Show HN: Brygga – A modern, fast, feature-rich IRC client for macOS Brygga is in early development. The core client works end-to-end (connect, join, send, receive, persist) but many features you'd expect from a mature IRC client are still missing. Repo: https://ift.tt/T4Vg2uM April 20, 2026 at 02:11AM
Show HN: TRELLIS.2 image-to-3D running on Mac Silicon – no Nvidia GPU needed https://ift.tt/9Gh372x
Show HN: TRELLIS.2 image-to-3D running on Mac Silicon – no Nvidia GPU needed I ported Microsoft's TRELLIS.2 (4B parameter image-to-3D model) to run on Apple Silicon via PyTorch MPS. The original requires CUDA with flash_attn, nvdiffrast, and custom sparse convolution kernels: none of which work on Mac. I replaced the CUDA-specific ops with pure-PyTorch alternatives: a gather-scatter sparse 3D convolution, SDPA attention for sparse transformers, and a Python-based mesh extraction replacing CUDA hashmap operations. Total changes are a few hu…
Show HN: How context engineering works, a runnable reference https://ift.tt/YiuOco0
Show HN: How context engineering works, a runnable reference I've been presenting at local meetups about Context Engineering, RAG, Skills, etc.. I even have a vbrownbag coming up on LinkedIn about this topic so I figured I would make a basic example that uses bedrock so I can use it in my talks or vbrownbags. Hopefully it's useful. https://ift.tt/wkZERtD April 17, 2026 at 09:20PM
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…
Social Plugin