#MULCIA: 10 funded PhD positions on Automated Reasoning in Vienna, Austria. https://is.gd/8jWz4P #PhD #CompSci
Rust to C compiler - 95.9% test pass rate, odd platforms, and a Rust Week talk
https://fractalfir.github.io/generated_html/cg_clr_odd_platforms.html
Discussions: https://discu.eu/q/https://fractalfir.github.io/generated_html/cg_clr_odd_platforms.html
Why do AI company logos look like buttholes?
https://velvetshark.com/ai-company-logos-that-look-like-buttholes
Discussions: https://discu.eu/q/https://velvetshark.com/ai-company-logos-that-look-like-buttholes
James Cameron on AI copyright: humans are models
https://nitter.space/vitrupo/status/1910484076978725140#m
Discussions: https://discu.eu/q/https://nitter.space/vitrupo/status/1910484076978725140%23m
Practical Optional Types for Clojure [2016]
By: Ambrose Bonnaire-Sergeant, Rowan Davies, S. Tobin-Hochstadt
https://github.com/papers-we-love/papers-we-love/blob/master/languages/clojure/a-practical-optional-type-system-for-clojure.pdf
https://www.semanticscholar.org/paper/8f98a34a2ac0a399c5d11955e68522b0ef47579f
#MULCIA: PhD position in knowledge representation and reasoning, University of Luxembourg. https://tinyurl.com/23a6k25e #PhD #CompSci
Netbird: connect your devices into a WireGuard overlay network with SSO, MFA and granular access controls
https://github.com/netbirdio/netbird
Discussions: https://discu.eu/q/https://github.com/netbirdio/netbird
Purely Functional Sliding Window Aggregation Algorithm
https://byorgey.github.io/blog/posts/2024/11/27/stacks-queues.html
Discussions: https://discu.eu/q/https://byorgey.github.io/blog/posts/2024/11/27/stacks-queues.html
git-withme - Peer-to-peer, encrypted, ephemeral Git collaboration (git daemon with encryption)
https://git.sr.ht/~meejah/git-withme
Discussions: https://discu.eu/q/https://git.sr.ht/~meejah/git-withme
[D] Yann LeCun Auto-Regressive LLMs are Doomed
https://www.youtube.com/watch?v=ETZfkkv6V7Y
Discussions: https://discu.eu/q/https://www.youtube.com/watch?v=ETZfkkv6V7Y
facet: Rust reflection, serialization, deserialization — know the shape of your types
https://github.com/facet-rs/facet
Discussions: https://discu.eu/q/https://github.com/facet-rs/facet
Purely Functional Sliding Window Aggregation Algorithm via @agnishom https://lobste.rs/s/ufkytf #compsci #haskell
https://byorgey.github.io/blog/posts/2024/11/27/stacks-queues.html
An LLM Query Understanding Service
https://softwaredoug.com/blog/2025/04/08/llm-query-understand
Discussions: https://discu.eu/q/https://softwaredoug.com/blog/2025/04/08/llm-query-understand
A surprising enum size optimization in the Rust compiler
https://jpfennell.com/posts/enum-type-size/
Discussions: https://discu.eu/q/https://jpfennell.com/posts/enum-type-size/
The Barium Experiment
https://tomscii.sig7.se/2025/04/The-Barium-Experiment
Discussions: https://discu.eu/q/https://tomscii.sig7.se/2025/04/The-Barium-Experiment
[D] Synthetic introduction to ML for PhD student in Mathematics
https://www.deeplearningbook.org
Discussions: https://discu.eu/q/https://www.deeplearningbook.org