~lobsters | Bookmarks (1969)

Jesper Cockx - Agda Core: The Dream and the Reality

jesper.cx

plt
1
TuneD project

tuned-project.org

linux
1
What are you doing this week? | Lobsters

lobste.rs

What are you doing this week? Feel free to share! Keep in mind it’s OK to...
What are you doing this week? Feel free to share! Keep in mind it’s OK to do nothing at all, too.

ask programming
1
The ultimate guide to Haskell Strings · Hasufell's blog

hasufell.github.io

May 7, 2024, Posted by Julian Ospald This guide is aimed at Haskellers who seek to...
May 7, 2024, Posted by Julian Ospald This guide is aimed at Haskellers who seek to improve their understanding of String types, be it beginners or seasoned developers. It is also meant to be a quick reference/cheat sheet for deciding which string type to use in a given situation. TOC Motivation In 2022 I implemented...

haskell
2
Meilisearch 1.8

meilisearch.com

Meilisearch 1.8 is available on Meilisearch Cloud too—upgrade now!New: negative searchMeilisearch 1.8 allows you to exclude...
Meilisearch 1.8 is available on Meilisearch Cloud too—upgrade now!New: negative searchMeilisearch 1.8 allows you to exclude specific terms from your search results using the - operator. For example, to find documents that contain the word "room" but not "escape", place a - before "escape”:curl \ -X POST 'https://edg...

ai release rust using meilisearch
1
Apple Vision Pro has the same effective resolution as Quest 3…Sometimes? And there's not much app devs can do about it, yet.

douevenknow.us

apple graphics rendering tech reversing vision pro
2
4403 – strfry() gives skewed distributions

sourceware.org
1
What are you excited about? | Lobsters

lobste.rs

What’s got you up at night, blown your mind or got you dancing? Feel free to...
What’s got you up at night, blown your mind or got you dancing? Feel free to share! Keep in mind it’s OK to not be excited at all, too.

ask programming
1
Clerk

pfeodrippe.com

formalmethods lisp
2
Can GCC use Clang as its assembler? - Dr. Brian Robert Callahan

briancallahan.net

compilers
1
Reference Counting with Linear Types

haskell.org

TLDR; I’ve published a release candidate for a linearly-typed reference-counting library today. I would very much...
TLDR; I’ve published a release candidate for a linearly-typed reference-counting library today. I would very much appreciate it if anyone interested could comment on the design/API and possibly reason about the soundness bugs that I believe are lurking. You’re welcome to try it and see what you can do with it, but I...

haskell plt
1
Blinking LEDs with Raspberry Pi - .NET Blog

microsoft.com

Richard Lander The Raspberry Pi is one of the world’s most successful hardware projects. A lot...
Richard Lander The Raspberry Pi is one of the world’s most successful hardware projects. A lot of people have one, but not everyone knows what to do with it. You can use it as a desktop computer or the brain of an electronic circuit. I use the Raspberry Pi to blink LEDs — with C# and .NET GPIO APIs — in weird and wo...

dotnet hardware
1
Newsletter 104 - April/May news

reactos.org

free open source os programming react
2
Post 1: Datalog, Chain-Forward Computation, and Relational Algebra

kmicinski.com

Our setting is logic programming, a field which attempts to design programming languages whose semantics have...
Our setting is logic programming, a field which attempts to design programming languages whose semantics have a close relationship to formal logic. The reason we might want to do this is that it suits our application domain more precisely than an implementation in a traditional programming language. Thus, using a lo...

plt
1
Cascading Dependency Rebuilds for Jackson CI

medium.com

Jackson project consists of over 30 distinct components: there components depend on each other in a...
Jackson project consists of over 30 distinct components: there components depend on each other in a layered fashion, forming a dependency tree.Most well-known are the three “core” components:jackson-core: Low-level reading and writing of JSON as token streams (and basic API for other(non-JSON) format modules): defin...

ci github actions jackson java release
1
Wiki - NervesNotes

alopex.li

Nerves is a framework for making embedded systems using Elixir. Here are my notes on how...
Nerves is a framework for making embedded systems using Elixir. Here are my notes on how to use Nerves and what it can do. This is not quite a tutorial and certainly not a reference, more a rambly brain-dump. It started out being just my personal notes on handy features and shortcuts, and got progressively more stru...

elixir
1
Exploring the c4... compiler?

thorstenball.com

plt
2
Migrating to BIND9 dnssec-policy – Tony Finch

dotat.at

networking security
1
How to avoid one C++ foot gun

pboyd.io

c++
1
2.1. Version 9.10.1 — Glasgow Haskell Compiler 9.10.1 User's Guide

haskell.org

Glasgow Haskell Compiler The significant changes to the various parts of the compiler are listed in...
Glasgow Haskell Compiler The significant changes to the various parts of the compiler are listed in the following sections. See the migration guide on the GHC Wiki for specific guidance on migrating programs to this release. The GHC2024 language edition is now supported. It builds on top of GHC2021, adding the follo...

haskell release
1
Un garçon pas comme les autres (Bayes) - An unexpected detour into partially symbolic, sparsity-expoiting autodiff; or Lord won’t you buy me a Laplace approximation

dansblog.netlify.app

I am, once again, in a bit of a mood. And the only thing that will...
I am, once again, in a bit of a mood. And the only thing that will fix my mood is a good martini and a Laplace approximation. And I’m all out of martinis.To be honest I started writing this post in February 2023, but then got distracted by visas and jobs and all that jazz. But I felt the desire to finish it, so...

ai
2
Writing a task scheduler in Zig

openmymind.net

zig
1
Mastodon

mastodon.social

unix
1
Team KeePassXC (@keepassxc@fosstodon.org)

fosstodon.org

linux security
2