HN user

manx

1,295 karma

mail@felx.me

https://felx.me https://github.com/fdietze https://social-protocols.org

Posts164
Comments355
View on HN
www.konstantinschubert.com 3mo ago

AI Fixes the Bullshit Asymmetry

manx
2pts1
moores.samaltman.com 4mo ago

Moore's Law for Everything (2021)

manx
2pts0
peterturchin.com 4mo ago

Cliodynamics: History as Science

manx
1pts0
fragilestatesindex.org 4mo ago

Fragile States Index

manx
2pts0
news.ycombinator.com 5mo ago

Ask HN: How do you deal with long Covid?

manx
4pts2
ai.google.dev 5mo ago

Google deprecates Gemini-2.5-pro

manx
1pts0
mobile-nixos.github.io 9mo ago

Mobile NixOS

manx
8pts0
github.com 1y ago

Show HN: Tomatic – openrouter AI chat interface

manx
1pts0
news.ycombinator.com 1y ago

Ask HN: Fluent in go and Rust? Which one do you prefer and why?

manx
12pts8
github.com 1y ago

Nix-ld – Run unpatched dynamic binaries on NixOS

manx
3pts0
github.com 1y ago

Dioxus 0.6: Web, Desktop, Mobile Apps in Rust

manx
6pts0
zulip.com 1y ago

Zulip Project Values

manx
3pts1
github.com 1y ago

Yet Another Go/Go+ HTTP Web Framework

manx
5pts2
github.com 1y ago

Show HN: Generate type-safe code for SQL queries in any language

manx
2pts0
www.reuters.com 1y ago

Mauritius suspends social media until after election amid wiretapping scandal

manx
4pts2
jabble.xyz 1y ago

Show HN: Jabble – Collaborative Fact-Checking with Fallacy Detection

manx
1pts0
news.ycombinator.com 1y ago

Ask HN: Which movies did you watch multiple times?

manx
77pts190
keratin.github.io 1y ago

Keratin AuthN

manx
1pts0
github.com 2y ago

Borgo is a statically typed language that compiles to Go

manx
666pts545
delta.chat 2y ago

The email messenger – Delta Chat

manx
1pts0
www.cell-lang.net 2y ago

The Cell Programming Language

manx
132pts31
smallcultfollowing.com 2y ago

in Rust, ordinary vectors are values · baby steps

manx
1pts0
news.ycombinator.com 2y ago

Ask HN: How often and why do you only read the comments?

manx
1pts4
join-lemmy.org 2y ago

Lemmy Ranking Algorithm

manx
3pts0
en.wikipedia.org 2y ago

Thompson sampling

manx
20pts1
news.ycombinator.com 2y ago

Ask HN: What is your save-the-world project?

manx
14pts11
betterexplained.com 2y ago

Colorized Math Equations

manx
4pts0
news.ycombinator.com 2y ago

Ask HN: What is your favorite article about programming?

manx
3pts2
blog.jliszka.org 2y ago

Bayesian Networks and Causality

manx
2pts0
news.ycombinator.com 2y ago

Ask HN: What did you read to finally grok Nix?

manx
1pts1

It's not only the amount of code but also the quality of the available code. If a language has a low barrier to entry (e.g. python, javascript), there will be a lot of beginner code. If a language has good static analysis and type checking, the available code is free of certain error classes (e.g. Rust, Scala, Haskell).

I see that difference in llm generated code when switching languages. Generated rust code has a much higher quality than python code for example.

I think memory safety is a weak argument for rust and only works against C/C++, as you mention. For me, the strongest arguments against GCed languages are static analysis goodies that other languages don't have. Like checked immutably by the compiler, the borrow checker which forces you into a certain architecture, fearless concurrency etc. All those lead to fearless refactoring, which is a very strong point for me.

Project Frottage: An automated constant stream of high quality AI wallpapers for mobile and desktop. We manually curate a list of ~150 prompts. Every 6h a random prompt is selected, a picture generated and uploaded to static hosting, free to use:

https://frottage.app/static/wallpaper-mobile-latest.jpg

https://frottage.app/static/wallpaper-desktop-latest.jpg

https://frottage.app/static/wallpaper-desktop-light-latest.j...

We just finished an android app, to set the wallpaper automatically on mobile: https://play.google.com/store/apps/details?id=com.frottage

I think we could build something on top of nix that is as easy to use and powerful as earthly, but gets all the nice stuff from nix: reproducibility, caching, just use any command from any nix package, etc

AI 2027 1 year ago

To align AI with humans, it might make sense to align humans first.

Fair Pricing 1 year ago

Why not directly pay what you use? Similar to how LLM Apis are billed these days.