REVIEW: Reentry, by Eric Berger
Reentry: SpaceX, Elon Musk, and the Reusable Rockets that Launched a Second Space Age, Eric Berger (BenBella Books, 2024). My…
Hackers News
Formal Methods: Just Good Engineering Practice?
Yes. The answer is yes. In your face, Betteridge. Earlier this week, I did the keynote at TLA+ conf 2024…
Discover web apps built with Ruby on Rails
What is We Use Rails? We Use Rails is a curated directory of web apps built with Ruby on Rails….
pipelight/boulette: Prevents you from accidentally shutting down remote hosts!
It’s late. 🥱 You finish your night coding session by typing shutdown -h now in a terminal. But nothing happens….
Biggest Privacy Erosion in 10 Years? On Google’s Policy Change Towards Fingerprinting
While I once hoped 2017 would be the year of privacy, 2024 closes on a troubling note, a likely decrease…
Who Can Understand the Proof? A Window on Formalized Mathematics—Stephen Wolfram Writings
The Simplest Axiom for Logic Theorem (Wolfram with Mathematica, 2000): The single axiom ((a•b)•c)•(a•((a•c)•a))ďź™c is a complete axiom system for…
Rust – Software Engineer (FTE) at Wasmer
At Wasmer we are working on the software that will power the next generation of Cloud Computing platforms using WebAssembly….
GitHub – gdm85/lc: List files in categories (and columns)
This is a port of ‘lc’ (List files in categories and columns) from MWC (Mark Williams Company) Coherent UNIX. You…
AndyObtiva/glimmer: DSL Framework consisting of a DSL Engine and a Data-Binding Library used in Glimmer DSL for SWT (JRuby Desktop Development GUI Framework), Glimmer DSL for Opal (Pure Ruby Web GUI), Glimmer DSL for LibUI (Prerequisite-Free Ruby Desktop Development GUI Library), Glimmer DSL for Tk (Ruby Tk Desktop Development GUI Library), Glimmer DSL for GTK (Ruby-GNOME Desktop Development GUI Library), Glimmer DSL for XML (& HTML), and Glimmer DSL for CSS
DSL Framework for Ruby GUI and More If You Liked Shoes, You’ll Love Glimmer! (Original Glimmer Library Handling World’s Ruby…
Samsung Display to Begin Mass Production of World’s First Rollable OLED for Laptops
â–ˇ Samsung Display to begin mass production of world’s first rollable OLED laptop screen in April 2025 â–ˇ Lenovo showcases…
product engineer at telli | Y Combinator
why telli? telli is building AI voice agents that change the way businesses communicate with their customers. Voice is the…