empet.bsky.social
@empet.bsky.social
Reposted
Check out the cover for our inaugural title, @kevinhartnett.bsky.social’s THE PROOF IN THE CODE, coming June 9, 2026! Shoutout @fsgbooks.bsky.social for the beautiful design. Want a copy of your own? You can now preorder here: us.macmillan.com/books/978037....
November 10, 2025 at 3:01 PM
Reposted
LinearSolve.jl just got autotuning 🔥 The problem: picking linear solvers is hardware-dependent voodoo. Solution: automatic benchmarking that tells you EXACTLY what to use. Share the results to improve the system!

Details: sciml.ai/news/2025/08/16/linearsolve_autotuning/

#julialang #sciml
SciML: Open Source Software for Scientific Machine Learning
Open Source Software for Scientific Machine Learning
sciml.ai
August 16, 2025 at 4:37 PM
I voted for @QuantaMagazine - the best science website. The Webby Awards:
vote.webbyawards.com/PublicVoting...
Vote for the best of the internet
I just voted in The Webby People's Voice Awards and checked my voter registration.
vote.webbyawards.com
April 11, 2025 at 4:22 PM
Today marks 12 years since I first installed and experimented with IPython Notebook (later renamed Jupyter Notebook). I was a big fan of this notebook, but the new versions 7.+ have an unergonomic and annoying layout #ipythonnotebook #jupyternotebook
February 16, 2025 at 8:48 PM
Reposted
Mathematical proof assistants like Coq and Lean were made possible by a correspondence that established the equivalence between proofs and computation. Read the explainer from our archive:
The Deep Link Equating Math Proofs and Computer Programs | Quanta Magazine
Mathematical logic and the code of computer programs are, in an exact way, mirror images of each other.
buff.ly
February 8, 2025 at 4:46 PM
Reposted
30M users 1B posts
🤝
bluesky milestone
achieved this week
February 1, 2025 at 9:56 PM
Reposted
Organizing a data system, like a bookshelf, often requires shuffling its existing components to make room for new ones. In a recent study, researchers have come closer than ever to finding the optimal way to organize such information.
New Book-Sorting Algorithm Almost Reaches Perfection | Quanta Magazine
The library sorting problem is used across computer science for organizing far more than just books. A new solution is less than a page-width away from the theoretical ideal.
buff.ly
January 27, 2025 at 1:29 AM
Reposted
"A proof that Riemann missed" -- my latest for @quantamagazine.bsky.social addresses an age-old question: which numbers are irrational?
www.quantamagazine.org/rational-or-...
Rational or Not? This Basic Math Question Took Decades to Answer. | Quanta Magazine
It’s surprisingly difficult to prove one of the most basic properties of a number: whether it can be written as a fraction. A broad new method can help settle this ancient question.
www.quantamagazine.org
January 8, 2025 at 5:09 PM
Reposted
I wrote a blog about querying the bluesky API from #JuliaLang
www.oxinabox.net/2024/12/08/b...
bsky API
www.oxinabox.net
December 8, 2024 at 10:00 AM
Reposted
If you haven't found it already be sure to subscribe to the #JuliaDispatch podcast by @chrisrackauckas.bsky.social and Michael Tiemann! This week's special guest is Παναγιώτης Γεωργακόπουλος to discuss the #PlutoJL project.

youtu.be/TknY3rE1TeE?...
Pluto.jl with Panagiotis Georgakopoulos
YouTube video by Julia Dispatch
youtu.be
November 30, 2024 at 1:22 AM