Show HN: Genetic Boids Web Simulation (attentionmech.github.io)

119 points by vimgrinder 10h ago 28 comments

Show HN: HNRelevant – Add a "related" section to Hacker News (github.com)

47 points by imadj 5h ago 7 comments

Show HN: I built a more productive way to manage AI chats (contextch.at)

89 points by tapeo 9h ago 35 comments

Show HN: DoubleMemory – more efficient local-first read-it-later app (doublememory.com)

112 points by randomor 11h ago 34 comments

Show HN: Embedo – Word Equation Puzzle Game

11 points by sungchi 1d ago 4 comments

Show HN: Web Apps for Python Devs with Auto-Generated UI (davia.ai)

18 points by ruben-davia 4h ago 3 comments

Show HN: SweepIQ – A simple AI tool to help you learn more, faster (sweepiq.com)

11 points by felixthecat23 3h ago 7 comments

Show HN: High-resolution surface analysis with Lidar data (github.com)

20 points by folli 2d ago 0 comments

Show HN: GetStack.dev – Track GitHub open-source trends (getstack.dev)

30 points by h1fra 22h ago 8 comments

Show HN: Samchika – A Java Library for Fast, Multithreaded File Processing (github.com)

61 points by mprataps 16h ago 45 comments

Show HN: hcker.news – an ergonomic, timeline-based Hacker News front page (hcker.news)

148 points by postalcoder 11h ago 68 comments

Show HN: SQLite JavaScript - extend your database with JavaScript (github.com)

187 points by marcobambini 1d ago 54 comments

Show HN: Defuddle, an HTML-to-Markdown alternative to Readability (github.com)

390 points by kepano 1d ago 65 comments

Show HN: Outcry – Meta-Strategic AI for Activists and Protest Innovators (outcryai.com)

2 points by micahwhite 6h ago 0 comments

Show HN: FFmpeg Playground (bigballi.com)

4 points by BigBalli 6h ago 0 comments

Show HN: I built a directory for side hustles to help people exit the rat race (esidehustles.com)

6 points by OdehAhwal 14h ago 1 comments

Show HN: Curved Space Shader in Three.js (via 4D sphere projection) (github.com)

64 points by bntr 1d ago 23 comments

Show HN: Hsdlib – A C Library for Vector Similarity with SIMD Acceleration

36 points by habedi0 4d ago 0 comments

Show HN: Doc2dict a fast, open-source document to dict converter – No AI

3 points by jgfriedman1999 9h ago 0 comments

Show HN: Pi Co-pilot – Evaluation of AI apps made easy (withpi.ai)

31 points by achintms 1d ago 6 comments

Show HN: ClipJS – Edit your videos from a PC or phone (clipjs.vercel.app)

145 points by mohyware 2d ago 76 comments

Show HN: Advanced Chunking in JavaScript/TypeScript with Chonkie

8 points by snyy 10h ago 4 comments

Show HN: Confidential computing for high-assurance RISC-V embedded systems (github.com)

99 points by mrnoone 2d ago 9 comments

Show HN: A Tiling Window Manager for Windows, Written in Janet (agent-kilo.github.io)

291 points by agentkilo 3d ago 103 comments

Show HN: Whenish – Plan Group Events in iMessages (apps.apple.com)

39 points by devgoth 1d ago 56 comments

Show HN: Juvio – UV Kernel for Jupyter (github.com)

116 points by okost1 3d ago 26 comments

Show HN: Text to 3D simulation on a map (does history pretty well) (mused.com)

71 points by lukehollis 3d ago 48 comments

Show HN: A Model Context Protocol server for NASA APIs (github.com)

3 points by paulmon 16h ago 1 comments

Show HN: Evolved.lua – An Evolved Entity Component System for Lua (github.com)

53 points by blackmat 2d ago 16 comments

Show HN: 90s.dev – Game maker that runs on the web (90s.dev)

350 points by 90s_dev 3d ago 111 comments

Show HN: nwtb - a site for discovering new music on YouTube (nwtb.eu)

5 points by detectivestory 16h ago 2 comments

Show HN: rtcollector - A modular, RedisTimeSeries-native observability agent (github.com)

8 points by ignaciovdk 1d ago 0 comments

Show HN: Representing Agents as MCP Servers (github.com)

56 points by saqadri 2d ago 16 comments

Show HN: send2kindle – CLI utility to send documents to your Kindle (github.com)

10 points by carlos-menezes 1d ago 0 comments

Show HN: Chat with 19 years of HN (app.camelai.com)

154 points by vercantez 6d ago 121 comments

Show HN: 8-Bit Spelling Game I Built for My Daughter Using Claude AI (kbr.sh)

11 points by program247365 1d ago 4 comments

Show HN: ComputeLite: Python/R/JavaScript/SQLite in browser (computelite.com)

2 points by akhil977 20h ago 1 comments

Show HN: Astra – a new js2exe compiler (github.com)

60 points by qwertycodepl 3d ago 32 comments

Show HN: A Simple Server to Match Long/Lat to a TimeZone (github.com)

48 points by ChrisMarshallNY 3d ago 27 comments

Show HN: Goboscript, text-based programming language, compiles to Scratch (github.com)

161 points by aspizu 5d ago 59 comments

Show HN: SlimImg – Client-side image compression and EXIF editor (no uploads) (slimimg.tools)

3 points by aaiiggcc000 22h ago 2 comments

Show HN: Hardtime.nvim – break bad habits and master Vim motions (github.com)

212 points by m4xshen 5d ago 86 comments

Show HN: PolyLia – Learn languages by challenging friends (open beta) (polylia.com)

3 points by ahmed_duski 23h ago 0 comments

Show HN: Infinite Hagakure (hagakure.space)

27 points by mrroryflint 1d ago 12 comments

Show HN: Olelo Foil - NACA Airfoil Sim (foil.olelohonua.com)

35 points by rbrownmh 3d ago 19 comments

Show HN: I created an tool that creates interactive product demos in 2 minutes (snapdemo.io)

56 points by timczm 1d ago 8 comments

Show HN: JavaFactory – IntelliJ plugin to generate Java code (github.com)

44 points by javafactory 3d ago 26 comments

Show HN: I modeled the Voynich Manuscript with SBERT to test for structure (github.com)

381 points by brig90 5d ago 131 comments

Show HN: Forge – Secure, Multi-Tenant GitHub Actions Runners on K8s or EC2 (github.com)

13 points by ebrilhante 4d ago 5 comments

Show HN: A platform to find tech conferences, discounts, and ticket giveaways (tech.tickets)

105 points by danthebaker 7d ago 37 comments

Flix: an effect-oriented, functional, imperative, and logic programming language

11 thunderbong 3 5/23/2025, 9:38:37 PM flix.dev ↗

Comments (3)

fjfaase · 6h ago

Is this a high-level or a low-level programming language? What does it offer? When i is a 32 bit integer, than i + 1 is not an increment operation, as it can result in a value that is much lower than its input.

dlahoda · 8h ago

nice lang

https://doc.flix.dev/type-level-programming.html

but they stopped to early in typing.

after seeing how types and values unified in lean, not sure will look into flix like languages ever

artichaud1 · 8h ago

What on earth is this wizardry