It is a satire, right?
I don't know what to think anymore
Readit Newsljouhet commented on SDFs and the Fast sweeping algorithm in Jax rohangautam.github.io/blo... · Posted by u/beansbeansbeans
Dead Comment
ljouhet commented on Ty: A fast Python type checker and language server github.com/astral-sh/ty... · Posted by u/arathore
uv is an incredible tool ; ty will be also. It's insanely fast
For now, I have some false negative warnings :
'global' variables are flagged as undefined `int:unresolved-reference: Name ... used when not defined` (yeah, it's bad, I know)
f(*args) flagged as missing arguments `lint:missing-argument: No arguments provided for required parameters ...`
ljouhet commented on Evolving OpenAI's Structure openai.com/index/evolving... · Posted by u/rohitpaulk
Remember however that their charter specifies: "If a value-aligned, safety-conscious project comes close to building AGI before we do, we commit to stop competing with and start assisting this project"
It does have some weasel words around value-aligned and safety-conscious which they can always argue but this could get interesting because they've basically agreed not to compete. A fairly insane thing to do in retrospect.
Who defines "value-aligned, safety-conscious project"?
"Instead of our current complex non-competing structure—which made sense when it looked like there might be one dominant AGI effort but doesn’t in a world of many great AGI companies—we are moving to a normal competing structure where ..." is all it takes
ljouhet commented on We can, must, and will simulate nematode brains asteriskmag.com/issues/09... · Posted by u/l1n
Isn't it the goal of https://openworm.org/ ?
ljouhet commented on Quiver: A Modern Commutative Diagram Editor github.com/varkor/quiver... · Posted by u/peterkos
In the same kind of vein: I was recently very impressed by this pretri net editor https://pes.vsb.cz/petrineteditor/#/model
Petri nets are cool. They’re sort of like if finite state machines could be multithreaded.
I first found out about petri nets when reading the writings of an organization called “statebox”. Statebox was interested in petri nets and commutative diagrams (as well as many other category theory concepts). I read some of their papers, was entranced, and it became my dream to work there. Unfortunately their homepage now is just the text “imagine being a category theorist” with a laughing-crying emoji, so I have no idea what happened to them.
ljouhet commented on Show HN: SkunkHTML – Markdown Blog with GitHub Pages github.com/MaxGripe/skunk... · Posted by u/MaxGripe
Suggestion: instead of telling people to fork the repository, set this up as a GitHub template repository instead.
Example from one of my projects: https://github.com/simonw/shot-scraper-template
Page not found (404) : https://github.com/simonw/shot-scraper-template/generate
ljouhet commented on A ChatGPT clone, in 3000 bytes of C, backed by GPT-2 (2023) nicholas.carlini.com/writ... · Posted by u/chubot
I love the way it's written: see this ChatGPT-like code that fits in your screen? Let's break it down!
"The braces around an expression denote a function. Because this function contains a single variable, x, it is a monadic function or a monad."
I never understood that about monads, even if it's litterally their name.