HackerTrans
トップ新着トレンドコメント過去質問紹介求人

manx

no profile record

投稿

AI Fixes the Bullshit Asymmetry

konstantinschubert.com
2 ポイント·投稿者 manx·3 か月前·1 コメント

Moore's Law for Everything (2021)

moores.samaltman.com
2 ポイント·投稿者 manx·4 か月前·0 コメント

Cliodynamics: History as Science

peterturchin.com
1 ポイント·投稿者 manx·4 か月前·0 コメント

Fragile States Index

fragilestatesindex.org
2 ポイント·投稿者 manx·4 か月前·0 コメント

Ask HN: How do you deal with long Covid?

4 ポイント·投稿者 manx·5 か月前·2 コメント

Google deprecates Gemini-2.5-pro

ai.google.dev
1 ポイント·投稿者 manx·5 か月前·0 コメント

Mobile NixOS

mobile-nixos.github.io
8 ポイント·投稿者 manx·9 か月前·0 コメント

コメント

manx
·2 か月前·議論
We probably want to compare the cartesian product of model+harness.
manx
·3 か月前·議論
Agreed. Which other software does society need badly?
manx
·4 か月前·議論
What matters more is if there is good QA.
manx
·6 か月前·議論
Also, you can have NixOS instead of debian: https://github.com/nix-community/nixos-avf
manx
·9 か月前·議論
Wouldn't it make sense to have these wikipedias created by different llms, and compare them to expose their biases?
manx
·9 か月前·議論
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.
manx
·10 か月前·議論
I fully agree with this approach! 5 years ago I built a prototype to execute that same concept of language covering. But instead of just using words, I used n-grams. It ii trained on subtitles to model spoken language. Combined with sqlite in the browser to get the next sentence with the most impact.

github here: https://github.com/fdietze/ravioli

prototype deployed here: https://raviolio.web.app/
manx
·10 か月前·議論
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.
manx
·10 か月前·議論
This pre-AI article makes a very similar argument: https://mortoray.com/programming-wont-be-automated-or-it-alr...

Once we realize that what we actually want is turning specifications into software, I think that English will become the base for a new, high level specification language.
manx
·10 か月前·議論
Search for "bridging based ranking". The X community notes algorithm does that. I think it should be applied to all content.
manx
·10 か月前·議論
Sounds like type-classes from haskell/scala? Or is that a different thing?
manx
·2 年前·議論
I think it should be possible to create a compiler which transforms arbitrary sql queries into a set of triggers and temporary tables to get incremental materialized views which are just normal tables. Those can be indexed, joined etc. no extra services needed. Such an approach should in theory work for multiple relational database systems if it's all adhering to standards.
manx
·3 年前·議論
Linux: In Firefox no, in Chrome yes.