A 1.55 R⊕ habitable-zone planet hosted by TOI-715
ABSTRACT A new generation of observatories is enabling detailed study of exoplanetary atmospheres and the diversity of alien climates, allowing us to seek evidence for extraterrestrial biological and geological processes. Now is therefore the time to identify the most unique planets to be characterized with these instruments. In this context, we report on the discovery […]
Compiling Pattern Matching
Introduction This post intends to provide a brief overview of the algorithm described in Luc Maranget’s “Compiling Pattern Matching to Good Decision Trees”. I’m fond of this formalisation as it has a straightforward implementation and results in reasonable decision trees for the majority of practical instances of pattern matching encountered in functional programming. Additionally, the […]
A lesson in dockerizing shell scripts
I interact with Dockerfiles every day at work, have written a few myself, built containers, and all that. But never published one on the docker hub registry. I wanted to make ugit – a tool to undo git commands (written as a shell script) available to folks who don’t like installing random shell scripts from […]
The worst users come from referral programs, free trials, coupons
Above: Many small business figured out the hard way why coupon sites generate worse users Incentive programs often don’t perform The people you attract with referral programs, free trials, coupons, and gamification — folks who are “incentivized” as a broad umbrella category — are usually MUCH WORSE than organic ones. Worse LTVs, worse conversion, less […]
MIT and IBM Find Clever AI Ways Around Brute-Force Math
02 Feb 2024 2 min read Joshua Sortino/Unsplash Since the days of Isaac Newton, the fundamental laws of nature—optics, acoustics, engineering, electronics—all ultimately reduce to a vital, broad set of equations. Now researchers have found a new way to use brain-inspired neural networks to solve these equations significantly more efficiently than before for numerous potential […]
Ofsted inspectors ‘make up evidence’ about a school’s performance when IT fails
Ofsted inspectors have been forced to “make up” evidence because the computer system they use to record inspections sometimes crashes, wiping all the data, an Observer investigation has found. Since 2018, inspectors have made live notes on laptops or tablets as they interview staff and observe lessons after Ofsted invested in a new electronic evidence gathering […]
60-Bit Computing
When I’m not sixty-four Control Data Corporation 6600 Sometimes looking at historic systems can prompt us to challenge our thinking. The Control Data Corporation 6600 was the fastest computer in the world from 1964 to 1969. It was, in many ways, a pioneer of modern computing using, for example, some of the techniques that would […]
FOSDEM 2024 Live Streams
J Janson 09:30-18:55: Keynotes, Main Track – Janson How to Chart your own Career Path in Open Source – Panel Discussion – Dawn M Foster, Ray Paik, Ildiko Vancsa, Allison Randal (12:00-12:50) Watch Live! J.1.106 10:30-18:30: FOSS Educational Programming Languages devroom, FOSDEM junior MicroBlocks – Kathy Giori, John Maloney, Turgut Guneysu (11:40-12:40) K K.1.105 (La […]
Ede – An Fltk based desktop environment
EDE is small desktop environment built to be responsive, light in resource usage and to have familiar look and feel. It runs on Linux, *BSD, Solaris, Minix, Zaurus and even on XBox. Download version 2.1 or you can browse for older releases.
AT&T applies to end obligation to service landlines in California
CAMPO SECO — AT&T doesn’t want to be in charge of landlines anymore. If another company doesn’t step up, this could mean the end of landlines as we know them. “I’m not exactly a helpless 80-year-old, but I deserve to have a phone that works,” said Campo Seco resident Patricia Pereira. AT&T is applying to […]