progscrape: tweag.io/blog/2017-08-24-linear-types-packed-data

Compact normal forms + linear types = efficient network communication (2017)

36 days ago tweag.io haskell performance plt

Automating API Documentation using Network Traffic

2 days ago zuplo.com api

Zog v0.19.0 release! Custom types, reusable custom validations and much more!

21 hours ago reddit.com go release

Correct / Most Efficient / best practice way to adjust a field in a struct

9 hours ago reddit.com rust

Vast Pedophile Network Shut Down In Europol's Largest CSAM Operation

41 hours ago arstechnica.com

Amazon Set To Launch First Operational Satellites For Project Kuiper Network

31 hours ago geekwire.com amazon

Senolytics target Alzheimer’s-linked brain enzymes without harming healthy ones: Using brain tissue samples from Alzheimer’s patients, scientists discovered that dasatinib and nintedanib, both senolytics, blocked enzymes associated with amyloid-beta plaques but did not affect normal brain enzymes.

42 hours ago eurekalert.org brain neuroscience

The Fifth Kind of Optimisation

2 days ago tratt.net performance

Calling Rust from Haskell

23 hours ago willmcpherson2.com haskell rust

Why we decided to go for the Big Rewrite (2019)

14 hours ago channable.com haskell scala

CoSy

2 days ago cosy.com apl plt

How We Got the Generics We Have: (Or, how I learned to stop worrying and love erasure)

18 hours ago openjdk.org java plt

More predictable benchmarking with testing.B.Loop

40 hours ago go.dev go performance

Roguetype: The first ever roguelike written in the OCaml type system

2 days ago github.com ml ocaml plt

The Memory Safety Continuum

39 hours ago memorysafety.openssf.org plt rust security

Prospero with Cranelift JIT and SIMD

40 hours ago whtwnd.com compiler performance rust

Valkey - A new hash table

40 hours ago valkey.io database hash performance

Making OCaml Safe for Performance Engineering [video]

8 hours ago youtube.com compiler ml ocaml performance slides video

The hidden superpowers of linear types (2024)

18 days ago youtube.com python video

Austral: A Systems Language with Linear Types and Capabilities (2022)

15 days ago borretti.me

How to type zod schemas for forms

29 days ago pgjones.dev

Integer Linear Programming (ILP) (2020)

17 days ago rtime.ciirc.cvut.cz pdf performance

Compact report formatters for noseyparker

24 days ago github.com javascript

The Vatican's Latinist (2017)

11 days ago newcriterion.com

Three Tribes of Programming (2017)

8 days ago josephg.com

Anti-Orbit Laser Submarines (2017)

7 days ago toughsf.blogspot.com

Bootloader communication implementation problem

21 days ago reddit.com rust

“Normal” engineers are the key to great teams

21 days ago spectrum.ieee.org

Mathematical Compact Models of Advanced Transistors [pdf]

6 days ago eecs.berkeley.edu pdf transistor

Copy Types Tutorial

24 days ago bhh32.com tutorial

What Bikini Atoll Looks Like Today (2017)

23 days ago medium.com

>progscrape ▒

All the news that's fit to scrape