Floating point from scratch: Hard Mode

Actually building floating point from scratch!

Tales on the wire
JUXT Blog: A bug on the dark side of the Moon

How a specification found what fifty-seven years of scrutiny missed.

In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?

The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to formalize everything in the computer program Lean.

By Leila Sloman

https://www.quantamagazine.org/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far-20260325/

#books #mathematics #computerscience

A few weeks ago my students in the Systems Analysis and Modelling subject closed the semester with an award ceremony prising the most accomplished assignment projects. Though perhaps the most abstract subject these #ComputerScience undergraduates tackle, they had a nice opportunity to experience #SystemsAnalysis in a real world context.

https://tecnico.ulisboa.pt/pt/noticias/campus-e-comunidade/tecnico-e-jeronimo-martins-distinguem-estudantes-em-premio-de-merito/

Técnico e Jerónimo Martins distinguem estudantes em Prémio de Mérito 

Sete equipas de estudantes da Licenciatura em Engenharia Informática e de Computadores apresentaram soluções inovadoras para desafios reais do setor AgriRetail.

Instituto Superior Técnico

Your OS has 8 layers. Do you know all of them? 🤔

From the physical hardware all the way up to the apps you use every day — every layer has a specific job. And when they all work together, you get a smooth, reliable computing experience.

We've broken it all down in our latest Knowledge Base article — interactive, visual, and easy to follow.

Read it here → https://zurl.co/SUnAb

#OperatingSystem #OSArchitecture #ITFundamentals #ComputerScience #TechADIndia #LearnIT #TechGuide #Delhi

Legacy Code - A History Of Computing: Book One by Zoran Bošnjak is the featured book on Leanpub!

A witty, 'fun-technical' journey through the foundational chaos of computing history. From vacuum tubes and physical wiring to the birth of software engineering. Part one of an eight-part series, offered entirely free of charge.

Link: https://leanpub.com/legacycode-ahistoryofcomputingbook1

#ComputerScience #SoftwareEngineering #NonfictionHistory #ComputingHistory

Legacy Code - A History Of Computing: Book One

Discover the brilliant, often chaotic origins of the digital world. A witty history of computing covering ENIAC, Grace Hopper, the Apollo 11 code, and the birth of Unix. Book One of the Legacy Code series.

The Hundred-Page Machine Learning Book (PDF + EPUB + extra PDF formats) by Andriy Burkov is on sale on Leanpub! Its suggested price is $40.00; get it for $14.00 with this coupon: https://leanpub.com/theMLbook/c/LeanPublishingDaily20260403 #DataScience #ComputerScience
The Hundred-Page Machine Learning Book

Everything you really need to know in Machine Learning in a hundred pages.

Spent a bit of time tonight updating the "virtual pet" sprites I have at the top of my Canvas pages to represent student progress.

I only got caught up on grading one class so far because they're starting the semester project this week, so I updated their sprites.

Including a screenshot of another class' pets, which are still in "baby form".

#Education #ComputerScience

Staff Associate II in the Department of Biological Sciences

Post a job in 3min, or find thousands of job offers like this one at jobRxiv!

jobRxiv