~lobsters | Bookmarks (1962)

GitHub - aya-prover/aya-dev: A proof assistant and a dependently-typed language

github.com

formalmethods plt
1
Development of an Experimental Devboard for a Frugal Smartphone at Inria / fossjobs.net

fossjobs.net

This job ad has been posted over 40 days ago! (*) Required Education Level: Master’s degree...
This job ad has been posted over 40 days ago! (*) Required Education Level: Master’s degree (or equivalent) in electronics or embedded software. Professional Experience: No prior professional experience required. Duration & Location: 24 months, at Rennes (France) Salary: Gross monthly salary starting from 2695 euros...

hardware job mobile
1
The Future of TLA+

lamport.azurewebsites.net

formalmethods pdf
2
"This Key is Useless Now. Discard?"

btxx.org

design games
1
The slow evaporation of the free/open source surplus – Baldur Bjarnason

baldurbjarnason.com

practices
2
better explanations through coupling

explaining.software

August 27, 2024 Previously, we explored how coupling and cohesion are not separable concepts. When our...
August 27, 2024 Previously, we explored how coupling and cohesion are not separable concepts. When our software is cohesive, everything fits. Each part is shaped by its relationships. Together, they comprise an undirected graph, which we will call a structure. Each structure is an amplifier; by explaining one vertex...

philosophy programming
1
Meredith Whittaker at Le Bourget

nadim.computer

2024-08-27 The fluorescent lights of Le Bourget airport’s private terminal flickered as Meredith Whittaker, President of...
2024-08-27 The fluorescent lights of Le Bourget airport’s private terminal flickered as Meredith Whittaker, President of Signal, made her way through the arrivals area. Her mind was still buzzing from the cybersecurity conference in Brussels, where she had engaged in numerous conversations about the future of digita...

privacy
1
Garnix Blog: Function Types in Nix

garnix.io

nix plt
1
What programming language is in this <code> block?

shkspr.mobi

I'm a little bit obsessed with the idea of Semantic markup. I want the words that...
I'm a little bit obsessed with the idea of Semantic markup. I want the words that I write to be understood my humans and machines. Imagine this piece of code: print( "Hello, world!" ) Is that code example written in Python? C++? Basic? Go? Perhaps you're familiar enough with every programming language to tell - but ...

practices web
1
Boolean Is Not Your Friend

youtube.com

programming science & technology video
1
The Monospace Web

owickstrom.github.io

web
5
Evaluating a process manager

tinkering.xyz

programming
1
In C, you can sizeof() a string constant? | Sub-Etha Software

subethasoftware.com
1
Electric Clojure v3: Differential Dataflow for UI (by Dustin Getz)

youtube.com

clojure science & technology video
1
Lightning Talk: OCI Containers for FreeBSD - Doug Rabson, FreeBSD Project

youtube.com

devops freebsd science & technology video
1
Bonavita 1L Electric Kettle Repair

sequentialread.com

Electronics Screwdriver Set Multimeter Soldering Iron Solder Solder Flux Wire My friend who was a Barista...
Electronics Screwdriver Set Multimeter Soldering Iron Solder Solder Flux Wire My friend who was a Barista gave us this nice Bonavita electric Kettle when he moved out: And it worked for years and years, even while we had multiple people living in the house and using the kettle every day. However, it started getting ...

brand shaming education for fun hardware soldering
1
Working with Protobuf in 2024

kmcd.dev

Protocol Buffers (protobuf), Google’s brainchild for efficient data serialization, have become an indispensable tool in the...
Protocol Buffers (protobuf), Google’s brainchild for efficient data serialization, have become an indispensable tool in the modern software development landscape. They offer a compact and efficient way to structure data for storage or transmission, making them ideal for applications like gRPC services, data storage,...

api grpc practices programming protobuf
1
GitHub - nicbarker/clay: High performance UI layout library in C.

github.com
2
Using dtrace with SIP enabled

poweruser.blog

Published inMac cloud instances can’t fully run dtraceOn all current MacOS versions (Catalina 10.15.x, Big Sur...
Published inMac cloud instances can’t fully run dtraceOn all current MacOS versions (Catalina 10.15.x, Big Sur 11.x) System Integrity Protection (SIP) is enabled by default and prevents most uses of dtrace and other tools and scripts based on it (i.e. dtruss).The usual way to make dtrace work on MacOS is to boot int...

debugging mac
1
Box64 and RISC-V in 2024

box86.org

assembly box64 games performances risc-v
2
ast-grep | structural search/rewrite tool for many languages

ast-grep.github.io

abstract syntax tree command line tool linting programming refactor
1
You're not mature enough to release your first version as v1 · Jamie Tanna | Software Engineer

jvt.me

practices versioning
2
Sovereign Tech Fund to Invest €686,400 in FreeBSD Infrastructure Modernization | FreeBSD Foundation

freebsdfoundation.org

freebsd
2
Building a tool showing how Gemini Pro can return bounding boxes for objects in images

simonwillison.net

26th August 2024 I was browsing through Google’s Gemini documentation while researching how different multi-model LLM...
26th August 2024 I was browsing through Google’s Gemini documentation while researching how different multi-model LLM APIs work when I stumbled across this note in the vision documentation: You can ask the model for the coordinates of bounding boxes for objects in images. For object detection, the Gemini model has b...

ai
1