![Screenshot of courses.csail.mit.edu: Mathematics for Computer Science (2018) [pdf]](https://hn.urlbox.com/shots/renders/2026/1/9/ae2aa14e-4a6c-4954-86ba-c8b6fc82ba70.jpg)
Mathematics for Computer Science (2018) [pdf](courses.csail.mit.edu)
366 points by vismit2000 | 62 comments
PDF of the 2018 revision of the MIT textbook Mathematics for Computer Science by Eric Lehman, F. Thomson Leighton, and Albert R. Meyer.
![Screenshot of usenix.org: SPEAKE(a)R: Turn Speakers to Microphones for Fun and Profit [pdf] (2017)](https://hn.urlbox.com/shots/renders/2026/4/19/f1f1dac2-d04a-498e-9a00-ee784f553dc6.jpg)
First screen, captured .
Looks similar
![Screenshot of janmidtgaard.dk: Property-Based Testing of OCaml 5's Runtime System [pdf]](https://hn.urlbox.com/shots/renders/2025/9/27/2ff34b9b-ed7f-4f16-bc1a-ba3e73a4ff9c.jpg)
Why I love OCaml (2023)(mccd.space)
379 points by art-w | 270 comments
Personal blog post by Marc Coquand explaining why he loves OCaml, comparing it with Haskell and other languages he has used.
LLMs Are Not Fun(orib.dev)
114 points by todsacerdoti | 59 comments
VibeVoice: A Frontier Open-Source Text-to-Speech Model(microsoft.github.io)
406 points by lastdong | 150 comments
Project page for Microsoft's VibeVoice, an open-source TTS model generating up to 90 minutes of multi-speaker conversational audio using LLM and diffusion.
