https://nbsanity.com/
nbsanity is a free service that renders any public Jupyter notebook from GitHub or Gists as a polished web page. There’s no setup, no configuration, and no deployment needed.
nbsanity is a rendering service only — it displays your notebooks but does not execute them, even if you have Quarto directives that say otherwise
Nbsanity
nbsanity | Jupyter Notebook Viewer
A modern way to view public Jupyter notebooks on GitHub
😁2🤔1💯1
https://cyclic-structures.gitlab.io/vacancies/
Six (6) fully-funded PhD positions (4 years) in the project "Cyclic Structures in Programs and Proofs", The Netherlands.
Deadline: Friday, May 23, 2025.
Coinduction, coalgebras, modal logics, type theory and proof assistants. All the good stuff. 😁
Six (6) fully-funded PhD positions (4 years) in the project "Cyclic Structures in Programs and Proofs", The Netherlands.
Deadline: Friday, May 23, 2025.
Coinduction, coalgebras, modal logics, type theory and proof assistants. All the good stuff. 😁
Cyclic Structures in Programs and Proofs
Vacancies
This site collects information about positions, publications and relevant news for the project “Cyclic Structures in Programs and Proofs” project, funded by NWO. The project aims to advance the theory of cyclic structures in proofs and programs, including…
🔥3
https://www.youtube.com/watch?v=vEioDeOiqEs
Curious. An adaptation of a pretty famous series of novels. Cool actors. I didn't check on the director(s) though.
Curious. An adaptation of a pretty famous series of novels. Cool actors. I didn't check on the director(s) though.
YouTube
Murderbot — Official Trailer | Apple TV+
It's rogue. It's powerful. It would rather be watching TV.
Based on the award-winning, best-selling series by Martha Wells, Murderbot follows a rogue security unit as it searches for the meaning of life. Murderbot is now streaming on Apple TV+ https://…
Based on the award-winning, best-selling series by Martha Wells, Murderbot follows a rogue security unit as it searches for the meaning of life. Murderbot is now streaming on Apple TV+ https://…
🔥2
https://codex.top/
Codex is an OCaml library to help writing sound static analyses by abstract interpretations, such as BINSEC/Codex or Frama-C/Codex
Codex
Home
A library to write abstract interpreters in OCaml.
🔥1
Наш сервер — как собачка: все команды понимает и выполняет, но ответ сформулировать не может...
https://www.youtube.com/watch?v=yuIosOYc-AM
Bart Jacobs will explain and compare Bayesian update rules a la Pearl and a la Jeffery (yep, there are two valid but complementary options) tomorrow, 17.04.2025. This time on the Topos Institute seminar.
Bart Jacobs will explain and compare Bayesian update rules a la Pearl and a la Jeffery (yep, there are two valid but complementary options) tomorrow, 17.04.2025. This time on the Topos Institute seminar.
YouTube
Bart Jacobs: "Update rules of Pearl and Jeffrey"
Topos Institute Colloquium, 17th of April 2025.
———
This presentation describes the two different rules for probabilistic updating, associated with Pearl and with Jeffrey. The difference emerges in the presence of updating with multiple data items that one…
———
This presentation describes the two different rules for probabilistic updating, associated with Pearl and with Jeffrey. The difference emerges in the presence of updating with multiple data items that one…
AlexTCH
https://www.youtube.com/watch?v=vEioDeOiqEs Curious. An adaptation of a pretty famous series of novels. Cool actors. I didn't check on the director(s) though.
The screenshot inevitably reminds me of https://acoup.blog/2024/11/29/collections-the-problem-with-sci-fi-body-armor/
A Collection of Unmitigated Pedantry
Collections: The Problem with Sci-Fi Body Armor
This week we’re covering the winning topic from the latest ACOUP Senate poll, which is a look at some of the odd designs and mechanics for futuristic science fiction body armor, particularly …
TIL: "les Gaulois" значит "галлы". Словосочетание "группы Галуа" приобретает новое звучание...
https://www.youtube.com/watch?v=t6DxjTn8NeM
Batshit crazy history and present in Western Africa. As common to way too many parts of Africa...
Batshit crazy history and present in Western Africa. As common to way too many parts of Africa...
YouTube
Why This Part of Africa is Erased on Every Map You See
To try everything Brilliant has to offer for free for a full 30 days, visit https://brilliant.org/RealLifeLore/
You'll also get 20% off an annual premium subscription
Watch more than 30 additional exclusive RealLifeLore videos on Nebula in Modern Conflicts:…
You'll also get 20% off an annual premium subscription
Watch more than 30 additional exclusive RealLifeLore videos on Nebula in Modern Conflicts:…
https://www.quantamagazine.org/to-make-language-models-work-better-researchers-sidestep-language-20250414/
Literally a couple days ago I was thinking «with all this "test-time compute" and "chain-of-thought" why do they go through tokenization back and forth every time? It's so wasteful, can't we do without it?»
Well, now I'm relieved to know the researchers are already working on that. 😊
Literally a couple days ago I was thinking «with all this "test-time compute" and "chain-of-thought" why do they go through tokenization back and forth every time? It's so wasteful, can't we do without it?»
Well, now I'm relieved to know the researchers are already working on that. 😊
Quanta Magazine
To Make Language Models Work Better, Researchers Sidestep Language
We insist that large language models repeatedly translate their mathematical processes into words. There may be a better way.
😢1
https://www.youtube.com/watch?v=HVsSppFuzv0
Interior design from Hell. A bit like "UI design Dark Patterns", but in real life and several decades older.
Who consciously designs things like that and why? What do they think?
Reminds me of the Cube's premise...
Interior design from Hell. A bit like "UI design Dark Patterns", but in real life and several decades older.
Who consciously designs things like that and why? What do they think?
Reminds me of the Cube's premise...
YouTube
How Reality TV Houses Are Built to Break People
Visit http://brilliant.org/stewarthicks to try everything Brilliant has to offer for free for a full 30 days. You’ll also get 20% off an annual premium subscription!
__Special Thanks__
Evan Montgomery — co-production
__Description__
This video explores…
__Special Thanks__
Evan Montgomery — co-production
__Description__
This video explores…
https://github.com/gradbench/gradbench
"Automatic differentiation" aka "AD" aka "autodiff" aka "autograd" benchmarks for various programming languages and libraries including C++, Python (PyTorch, JAX), Julia (Enzyme.jl, Zygote) and Lean (SciLean). Also OCaml, Haskell and Futhark.
"Automatic differentiation" aka "AD" aka "autodiff" aka "autograd" benchmarks for various programming languages and libraries including C++, Python (PyTorch, JAX), Julia (Enzyme.jl, Zygote) and Lean (SciLean). Also OCaml, Haskell and Futhark.
GitHub
GitHub - gradbench/gradbench: Benchmarks for differentiable programming across languages and domains.
Benchmarks for differentiable programming across languages and domains. - gradbench/gradbench
🔥2
A PhD https://frama-c.com/jobs/2025-01-20-multistate-rac.html
and a postdoc https://frama-c.com/jobs/2025-04-17-e-acsl-rte-assigns.html
positions at the Frama-C team for work on E-ACSL.
and a postdoc https://frama-c.com/jobs/2025-04-17-e-acsl-rte-assigns.html
positions at the Frama-C team for work on E-ACSL.
Only a week left to register for Scottish Programming Languages and Verification Summer School 2025:
https://spli.scot/splv/2025-edinburgh/
But it's pricy.
https://spli.scot/splv/2025-edinburgh/
But it's pricy.
SPLV
SPLV 2025
Website for the SPLV summer school series
🥱1
you won't have 20 years of experience, but 1 year of experience 20 times over
https://www.carlopescio.com/2011/10/youre-solving-wrong-problem.html
Carlopescio
You're solving the wrong problem
It had to happen. After my post on Yahtzee , my agile friend (Marco) has come back with more code katas, adding to the pile we already disc...
👍1👌1
https://fitelson.org/piksi/deviant_logic.pdf
"Deviant Logic. Fuzzy Logic" by Susan Haack
A rather short and accessible introduction to philosophical logics and fuzzy logic. Pretty old one.
"Deviant Logic. Fuzzy Logic" by Susan Haack
A rather short and accessible introduction to philosophical logics and fuzzy logic. Pretty old one.
👌2