Recent Posts

• Low-power 2D gate-all-around logics via epitaxial monolithic 3D integration
  by mserion 5/12/2025, 8:38:01 PM with 0 comments
• MirageVPN and the discovery of two OpenVPN CVEs
  by mserion 8/23/2024, 1:14:54 PM with 0 comments
• Released llamafile 0.8.13 with gemma2, new whisper and Stable Diffusion CLI
  by mserion 8/19/2024, 10:03:37 PM with 1 comment
• OCaml 5.1 Released
  by mserion 9/17/2023, 9:13:11 PM with 0 comments
• The value of science – R. Feynman (1995) [pdf]
  by mserion 8/6/2023, 10:01:33 PM with 0 comments
• Skynet Labs Shutting Down
  by mserion 10/22/2022, 9:06:15 PM with 1 comment
• Intel and AMD Hertzbleed CPU Vulnerability Uses Boost Speed to Steal Crypto Keys
  by mserion 6/14/2022, 8:19:28 PM with 0 comments
• Pasteur – A Zerobin Clone in a Unikernel
  by mserion 4/26/2022, 5:27:30 PM with 0 comments
• Diffrax: Jax-based differential equations solvers
  by mserion 2/14/2022, 6:50:09 PM with 0 comments
• Ts2ocaml: Generate OCaml bindings from .d.ts files
  by mserion 11/9/2021, 6:05:45 PM with 0 comments
• Verification for Dummies: SMT and Induction
  by mserion 10/14/2021, 1:46:15 PM with 0 comments
• How WhatsApp enables multi-device capability
  by mserion 9/22/2021, 9:37:28 AM with 25 comments
• Multi-device beta: WhatsApp web without the need to keep your phone connected
  by mserion 9/21/2021, 5:39:50 PM with 0 comments
• Onivim2: Status of the Project
  by mserion 9/17/2021, 6:01:33 AM with 0 comments
• Elements of Differential Geometry in Lean: A Report for Mathematicians
  by mserion 8/4/2021, 3:58:07 PM with 0 comments
• Dating first cases of Covid-19 (PLOS pathogens)
  by mserion 6/26/2021, 6:59:53 PM with 0 comments
• Dirsp-exchange: auditable Signal Protocol and ProScript-to-OCaml translator
  by mserion 6/17/2021, 9:24:02 PM with 0 comments
• OCaml-pandoc: a native OCaml library to write filters for pandoc
  by mserion 4/29/2021, 3:08:40 PM with 0 comments
• Docs.ocaml.pro: An OCaml Documentation Hub
  by mserion 4/22/2021, 12:28:47 PM with 0 comments
• Asymptotics and perturbation methods – Prof. Steven Strogatz
  by mserion 3/12/2021, 1:31:31 PM with 0 comments
• Finding Mona Lisa in the Game of Life
  by mserion 3/8/2021, 11:02:02 AM with 21 comments