~lobsters | Bookmarks (1980)

Inside the Leaked System Prompts of GPT-4, Gemini 1.5, Claude 3, and More

gitconnected.com

ai
1
Overcoming Hallucinations with the Trustworthy Language Model

cleanlab.ai

We’re excited to launch Cleanlab’s Trustworthy Language Model (TLM), which overcomes the biggest barrier to enterprise...
We’re excited to launch Cleanlab’s Trustworthy Language Model (TLM), which overcomes the biggest barrier to enterprise adoption of LLMs: hallucinations and reliability. By adding a trust score to every LLM response, TLM lets you contain and manage bogus LLM outputs, enabling you to deploy generative AI for new use c...

ai
1
GitHub - Shirakumo/kandria: A post-apocalyptic actionRPG. Now on Steam!

github.com

games lisp
1
2024-04-21-static-linking · Hasufell's blog

hasufell.github.io

April 21, 2024, Following the excellent post from Tom Sydney “Getting your Haskell executable statically linked...
April 21, 2024, Following the excellent post from Tom Sydney “Getting your Haskell executable statically linked with Nix”, I want to present an alternative approach. I believe nix has questionable ergnomics and most Haskell developers don’t need it, even if they want to link their binaries statically. Musl and Alpin...

haskell virtualization
2
Create a Debian VM on MacOS Apple Silicon with QEMU

sleepymug.me

mac virtualization
1
Using Vectors without a Vector Database

swirlaiconnect.com

“You Do Not Need a Vector Database” is the provocative title of a recent blog post...
“You Do Not Need a Vector Database” is the provocative title of a recent blog post (with code) by Dr. Yucheng Low, co-founder of XetHub. In this post, I’ll explain what a vector database is, why Dr. Low says you don’t need one, and provide context to Dr. Low’s answer. To make sense of Dr. Low’s article, it’s importa...

ai enterprise enterprise search open source search
1
Equivalence of morphisms under substitution

stackexchange.com

compilers math plt
1
I2P Anonymous Network

geti2p.net

networking privacy web
1
Tokens for LLMs: Byte Pair Encoding in Go - Eli Bendersky's website

thegreenplace.net

April 25, 2024 at 06:34 Tags Go , Machine Learning , WebAssembly A basic unit of...
April 25, 2024 at 06:34 Tags Go , Machine Learning , WebAssembly A basic unit of currency in modern LLMs is the token; exciting new models have long context windows of millions of tokens. API pricing for the large providers is per-token. We're even seeing the invention of new, derived units like TPM (tokens per minu...

ai go
1
What’s new in security for Ubuntu 24.04 LTS?

ubuntu.com

linux security
1
Bluefin

haskell.org

Bluefin is a Haskell effect system with a new style of API. It is distinct from...
Bluefin is a Haskell effect system with a new style of API. It is distinct from prior effect systems because effects are accessed explicitly through value-level handles which occur as arguments to effectful operations. Handles (such as State handles, which allow access to mutable state) are introduced by handlers (s...

haskell
1
Pilgrimages for electronics tinkerers in Tokyo/Kyoto/Osaka? | Lobsters

lobste.rs

My wife and I are headed to Japan for three weeks, roughly one week each in...
My wife and I are headed to Japan for three weeks, roughly one week each in Tokyo/Kyoto/Osaka. As someone who loves to tinker on RPi/Arduino and who appreciates niche/quirky/vintage electronics, where do I need to “pay my respects”? Akihabara is on my radar of course but what shops in particular? The literal shrine to the electronics god in Kyoto is also on my radar.

ask hardware
1
Notifications in 46 and beyond – GNOME Shell & Mutter

gnome.org

design linux
1
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
2
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
4
Project Fluent

projectfluent.org

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

johnaustin.io

games plt
1

~lobsters | Bookmarks (1980)

Tags

Domains