~lobsters | Bookmarks (1982)

Fine-tuning OpenAI models

gajus.com

OpenAI documentation suggests that fine-tuning lets you get more out of the models by providing: Higher...
OpenAI documentation suggests that fine-tuning lets you get more out of the models by providing: Higher quality results than prompting Ability to train on more examples than can fit in a prompt Token savings due to shorter prompts Lower latency requests I wanted to validate to what extent is fine-tuning OpenAI model...

ai engineering
1
Dumping and extracting the SpaceX Starlink User Terminal firmware - COSIC

kuleuven.be

Towards the end of May 2021 Starlink launched in Belgium so we were finally able to...
Towards the end of May 2021 Starlink launched in Belgium so we were finally able to get our hands on a Dishy McFlatface. In this blog post we will cover some initial exploration of the hardware and we will explain how we dumped and extracted the firmware.Note that this blog post does not discuss any specific vulnera...

reversing
1
How I tricked iOS into giving me EU DMA features

adamdemasi.com

I’m in Australia, but as far as my iPhone knows, I’m in Italy. How? In iOS...
I’m in Australia, but as far as my iPhone knows, I’m in Italy. How? In iOS 17.4, Apple introduced a new system called eligibilityd. This works with countryd (which you might have heard about when it first appeared in iOS 16.2) and the Apple ID system to decide where you physically are. The idea is that multiple sour...

ios privacy
1
Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches

verdagon.dev

A fellow named Zeke came into my server one day. Zeke: "Wait, so with generational references,...
A fellow named Zeke came into my server one day. Zeke: "Wait, so with generational references, we now have four ways to do memory safety?" Evan: "In fact, there are fourteen by my count. Maybe more!" 0 Zeke: "Fourteen?!" I've gotten so used to it that it's not surprising to me anymore, so it's always a delight to vi...

programming
1
Emacs Tidbit: rectangle-number-lines

emoses.org

emacs
1
From the Circle to Epicycles (Part 1)

andreinc.net

math
1
Root Cause

struct.github.io

ai security
1
What are some of your must-have Neovim customizations? | Lobsters

lobste.rs

I’ve been a relatively hard-core user of Emacs for a long time now. Recently, I’ve been...
I’ve been a relatively hard-core user of Emacs for a long time now. Recently, I’ve been playing with Neovim due to the great integration that it has with NixOS and for the performance/usability benefits that I perceive it to have in the terminal. I’ve been loving it thus far, but from my experience curating my Emacs configuration over 10 years, I know that there...

ask vim
1
HTML attributes vs DOM properties

jakearchibald.com

Attributes and properties are fundamentally different things. You can have an attribute and property of the...
Attributes and properties are fundamentally different things. You can have an attribute and property of the same name set to different values. For example: <div foo="bar">…</div> <script> const div = document.querySelector('div[foo=bar]'); console.log(div.getAttribute('foo')); console.log(div.foo); div.foo = 'hello ...

javascript web
2
Project Fluent

projectfluent.org

programming
1
Composability: Designing a Visual Programming Language — John Austin

johnaustin.io

games plt
1
Any Lobsters in Hanoi? | Lobsters

lobste.rs

I’m in Hanoi for next few weeks. If anyone else is too, would be fun to...
I’m in Hanoi for next few weeks. If anyone else is too, would be fun to chat about software, programming languages, philosophy - or jam 🎼 - over a salted coffee. To anyone else reading - I recommend a visit, it’s a fascinating and energetic place! And it has unbelievable numbers of nicely designed coffee shops, open late, to work on your projects.

ask event
1
Beckhoff Case Study – FreeBSD Foundation

freebsdfoundation.org

Beckhoff Automation is a pioneering force in industrial automation, renowned for its innovative solutions and cutting-edge...
Beckhoff Automation is a pioneering force in industrial automation, renowned for its innovative solutions and cutting-edge technology. Founded in 1980, Beckhoff implements open automation systems using proven PC-based control technology. Their portfolio includes industrial PCs, I/O and fieldbus components, drive tec...

freebsd windows
1
Who are your favorite tech youtubers | Lobsters

lobste.rs

Hello, Out of curiosity, who are your favorite tech youtubers. Since I love to learn a...
Hello, Out of curiosity, who are your favorite tech youtubers. Since I love to learn a lot from YouTube.

ask programming
1
Porting a cross-platform GUI application to Rust – Mozilla Hacks - the Web developer blog

mozilla.org

rust
1
New Foundations is consistent

leanprover-community.github.io

formalmethods
1
Are batch scripts a security vulnerability? - Chris Denton

chrisdenton.dev

Context: I’m the author of the Rust patch Comments

security windows
1
Spritely Goblins v0.13.0: Object Persistence and Easier IO! -- Spritely Institute

spritely.institute

Christine Lemmer-Webber -- Tue 23 April 2024We are thrilled to announce the release of our distributed...
Christine Lemmer-Webber -- Tue 23 April 2024We are thrilled to announce the release of our distributed programming environment Spritely Goblins version 0.13.0 for Goblins on Guile! This release has two major new features: a powerful new object persistence mechanism (to save your running programs to disk and wake the...

distributed lisp programming
2
Ruby 3.3.1 Released

ruby-lang.org

ruby
1
Good essays on application vs library programming? | Lobsters

lobste.rs

I always hear from people that the practices and techniques you use to make a software...
I always hear from people that the practices and techniques you use to make a software library are different from those you use to make a software application, but I haven’t been able to find a good, comprehensive resource breaking down those differences. Any recs?

ask programming
1
It’s the End of the Web as We Know It

archive.is

ai web
1
GitHub - seL4/rust-sel4: Rust support for seL4 userspace

github.com

rust
1
CakeML

cakeml.org

compilers formalmethods ml
1
Taking regular screenshots of my website

alexwlchan.net

historical
1