LLMs don’t do formal reasoning - and that is a HUGE problem (via voytec) — discussion

#ai

oss-fuzz-gen: LLM powered fuzzing via OSS-Fuzz (via Kchousos) — discussion

#security #testing

A Dictionary of Single-Letter Variable Names (by jackdk) — discussion

#haskell

cizzbuzz: An exploration of GitHub Merge Queues (via halosghost) — discussion

#art #devops #testing

Binary and Scalar Embedding Quantization for Significantly Faster & Cheaper Retrieval (March 22, 2024) (via emschwartz) — discussion

#ai

The Ultimate Conditional Syntax (via azhenley) — discussion

#plt

no-unused-binary-expressions: From code review nit to ecosystem improvements (via jmillikin) — discussion

#javascript

Every bug/quirk of the Windows resource compiler (rc.exe), probably (via alichraghi) — discussion

#windows #zig

Let's talk about Animation Quality (via trousers) — discussion

#ai #graphics

Perks of Being a Python Core Developer (via levlaz) — discussion

#programming #python

FFI type mismatches in Rust for Linux (via tumdum) — discussion

#c #linux #osdev #rust

Writing the Worst Datalog Ever in 26loc (via mpweiher) — discussion

#clojure #databases

Packaging an Elixir/Phoenix application with Nix (via asymmetric) — discussion

#elixir #nix

Request for developer feedback: customizable select (via gmem) — discussion

#web

Burning Zero Days: Suspected Nation-State Adversary Targets Ivanti CSA (via crazyloglad) — discussion

#security

Gunnar Wolf• Started a guide to writing FUSE filesystems in Python (via levlaz) — discussion

#python

We’re All Just Looking for Connection (via knl) — discussion

#debugging #networking #python

AMD EPYC 9965 "Turin Dense” vs. AmpereOne 192-Core ARM CPU Review (via knl) — discussion

#performance

Tutorial on Good Lisp Programming Style (via veqq) — discussion

#lisp #pdf

uLisp - A Lisp compiler to RISC-V written in Lisp (via mpweiher) — discussion

#compilers #lisp