HNHacker News
TopNewBestAskShowJobs

weatherlight

6,148 karma · joined May 1, 2013

[ my public key: https://keybase.io/proletariat; my proof: https://keybase.io/proletariat/sigs/Uv4J7-JLh3FUzOh12m1RmZDS2BCXWC6yuMbNXnlg1nM ]
submissionscomments

Curry – Howard – Lambek and the Isomorphism

timothysamson.github.io·3 pts·weatherlight·
2

America Loses the Next War (Won't Be a Cyber War, It Will Be a DevOps War)

ryanmcbeth.substack.com·3 pts·weatherlight·
2

Fearless Tinkering Is Functional

heneli.dev·4 pts·weatherlight·
0

Next LS and an elixir-tools update

elixir-tools.dev·1 pts·weatherlight·
0

(Set Theoretical Types) Programming with union, intersection, and negation types [pdf]

irif.fr·3 pts·weatherlight·
0

Type system updates: moving from research into development

elixir-lang.org·282 pts·weatherlight·
75

New analysis of tooth minerals confirms megalodon shark was warm-blooded

phys.org·99 pts·weatherlight·
30

(Erlang VM) Persistent connections with gen_statem

andrealeopardi.com·4 pts·weatherlight·
0

Open sourcing our video metrics [mave.io/]

mave.io·2 pts·weatherlight·
0

Lifting Your Loads for Maintainable Elixir Applications

erlang-solutions.com·2 pts·weatherlight·
0

Uni. investigation found prominent spider biologist fabricated falsified data

science.org·1 pts·weatherlight·
0

The evolutionary stage of Betelgeuse inferred from its pulsation periods

arxiv.org·1 pts·weatherlight·
1

A LiveView Is a Process

fly.io·1 pts·weatherlight·
0

The Design Principles of the Elixir Type System [pdf]

irif.fr·100 pts·weatherlight·
14

Elixir's “Set Theoretical Type System” prototype/demo/showcase

typex.fly.dev·167 pts·weatherlight·
26

String theory lied to us and now science communication is hard

youtube.com·9 pts·weatherlight·
2

The Synthstrom Audible Deluge Firmware (Synth, Sampler, Sequencer) – OpenSourced

github.com·2 pts·weatherlight·
0

Penn Dixie Fossil Park

atlasobscura.com·1 pts·weatherlight·
0

Digital Signal Processing (DSP) with Elixir on your GPU

github.com·2 pts·weatherlight·
0

Deluge – sequencer, synthesizer and sampler – goes open source

synthtopia.com·245 pts·weatherlight·
54

Elixir Solves a Difficult Security Problem

paraxial.io·2 pts·weatherlight·
0

Ten Thousand Ways to Use Chopsticks

marcosticks.org·126 pts·weatherlight·
109

Tom Erbe/Soundhack “Designing the Make Noise Erbe-Verb” Reverb Design Lecture

youtube.com·1 pts·weatherlight·
0

One and Done library to power idempotent API requests

knock.app·1 pts·weatherlight·
0

Better Defunctionalization Through Lambda Set Specialization

pldi23.sigplan.org·2 pts·weatherlight·
0

Apple Has Included Bitcoin Whitepaper in Every Version of macOS Since 2018

macrumors.com·3 pts·weatherlight·
2

Multi-Node Elixir Deployments on Linux

wkrp.xyz·1 pts·weatherlight·
0

Creating a Front End Style Guide with Phoenix Components

readyforproduction.dev·1 pts·weatherlight·
0

JVM Struggles and the Beam

mrjoelkemp.medium.com·1 pts·weatherlight·
1

How Wix manages Schemas for Kafka (and gRPC) used by 2000 microservices

medium.com·2 pts·weatherlight·
0
← PreviousPage 3 of 11Next →