Month: August 2024

Using Fibonacci numbers to convert from miles to kilometers and vice versa

using-fibonacci-numbers-to-convert-from-miles-to-kilometers-and-vice-versa

I recently learned an interesting fact about Fibonacci numbers while watching a random number theory video on YouTube. Fibonacci numbers can be used to approximately convert from miles to kilometers and back. Here is how. Take two consecutive Fibonacci numbers, for example 5 and 8. And you’re done converting. No kidding – there are 8 […]

Home Assistant Presence Simulation

home-assistant-presence-simulation

{{ message }} This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository. You can’t perform that action at this time.

Human brain organoid bioprocessors now available to rent for $500 per month

human-brain-organoid-bioprocessors-now-available-to-rent-for-$500-per-month

FinalSpark, the firm behind Neuroplatform, has begun to offer paid 24/7 remote access to its bioprocessors. In May, we reported on these pioneering human brain organoid-based processors and their touted million times greater power efficiency when compared to digital processors. Now we note that academic customers can get access to this biocomputing platform, featuring four shared organoids, for $500 per user […]

Typing Lists and Tuples in Elixir

typing-lists-and-tuples-in-elixir

We have been working on a type system for the Elixir programming language. The type system provides sound gradual typing: it can safely interface static and dynamic code, and if the program type checks, it will not produce type errors at runtime. It is important to emphasize type errors. The type systems used at scale […]

Formal CHERI: rigorous engineering and design-time proof of full-scale architect

formal-cheri:-rigorous-engineering-and-design-time-proof-of-full-scale-architect

Memory safety bugs continue to be a major source of security vulnerabilities, with their root causes ingrained in the industry: the C and C++ systems programming languages that do not enforce memory protection, and the huge legacy codebase written in them that we depend on; the legacy design choices of hardware that provides only coarse-grain […]

Deterministic Replay of QEMU Emulation

Record/replay functions are used for the deterministic replay of qemu execution. Execution recording writes a non-deterministic events log, which can be later used for replaying the execution anywhere and for unlimited number of times. It also supports checkpointing for faster rewind to the specific replay moment. Execution replaying reads the log and replays all non-deterministic […]

Designing a Timeline for Mobile Video Editing

designing-a-timeline-for-mobile-video-editing

This article documents the most surprising insights from our journey building timeline user interface. We’ll explore everything from overcoming usability challenges, visualizing data, prioritizing information, and refining touch interactions. IMG.LY’s CE.SDK for iOS now comes with a native video editor, built from scratch in SwiftUI. I was responsible for coding and polishing the timeline user […]

Regex Crossword

regex-crossword

Can you solve this crossword where all hints are regular expressions? The regex crossword puzzle grid. At EuroPython 2024 I watched a lightning talk about the art of puzzle solving. In it, the speaker showed the regex crossword puzzle that you can see above, that I took from this URL. You are supposed to fill […]