Programming

Compiling Haskell to WebAssembly: A Step-by-Step Guide (www.tushar-adhatrao.in)
1 day ago Haskell WebAssembly

The Haskell Unfolder Episode 36: concurrency and the FFI (www.youtube.com)
1 day ago Haskell

GNU Artanis 1.0.0 released (artanis.dev)
1 day ago

United States of America vs. Google LLC (storage.courtlistener.com)
1 day ago U.S. Google

GHC's WebAssembly backend now supports Template Haskell and GHCi (www.tweag.io)
1 day ago Haskell WebAssembly

Where's _why? What Happened When One of the World's Most Beloved Programmers Vanished (2012) (www.slate.com)
1 day ago Programmer

BEAM's bright future with Gleam (and JavaScript?) (www.youtube.com)
1 day ago JavaScript

Building a Large Geospatial Model to Achieve Spatial Intelligence (nianticlabs.com)
1 day ago Intelligence

TIL: Some surprising code execution sources in bash (yossarian.net)
1 day ago Bash

Local privilege escalation via needrestart (www.qualys.com)
2 days ago

Working With TOML and Python (realpython.com)
2 days ago Python

Investigating SPIR-V for the Stride shader system (part 2) (www.stride3d.net)
2 days ago

Permalink to Nintex Apps offers no-code interface for creating business-critical apps (sdtimes.com)
2 days ago

Permalink to Lightbend releases Akka 3, renames company to Akka (sdtimes.com)
2 days ago Akka

Delta Chat introduces realtime Peer-to-Peer networking (delta.chat)
2 days ago

Modern Hardware for Future Databases (transactional.blog)
2 days ago

Rust Foundation Collaborates With AWS Initiative to Verify Rust Standard Libraries (foundation.rust-lang.org)
2 days ago Rust AWS

Tiling with Three Polygons is Undecidable (arxiv.org)
2 days ago

Native compilation of Prolog predicates with Cranelift (files.adrianistan.eu)
2 days ago

FreeBee, an AT&T UNIX PC emulator (www.philpem.me.uk)
2 days ago Unix AT&T

DBSP: Automatic Incremental View Maintenance for Rich Query Languages (muratbuffalo.blogspot.com)
2 days ago

Map Keys and Lifetimes (blinsay.com)
2 days ago

Does the Internet Route Around Damage? - Baltic Sea Cable Cuts (labs.ripe.net)
2 days ago

SQL, Homomorphisms and Constraint Satisfaction Problems (www.philipzucker.com)
2 days ago

They all use it (registerspill.thorstenball.com)
2 days ago

Ban tracking and personalised advertising (www.ccc.de)
2 days ago Ban

For the first time ever researchers crack RSA and AES data encryption (www.thebrighterside.news)
2 days ago

Sequin: a tool for inspecting ANSI sequences (github.com)
2 days ago

Using gRPC for (local) inter-process communication (www.mpi-hd.mpg.de)
2 days ago

mimic: eBPF UDP -> TCP obfuscator (github.com)
2 days ago TCP UDP

Previous Page Next Page