Hacker News new | ask | show | jobs
user: programLyrique
created: 2015-04-05
karma: 1215

submissions:

JIT Go Brrr: The Path to a Supported JIT Compiler for CPython
3 points | 0 comments
Leanstral 1.5: Proof abundance for all
374 points | 107 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Sovereign Tech Fund Invests $450k in R to Enhance Sustainability and Security
4 points | 0 comments
0 points | 0 comments
0 points | 0 comments
A new class of molecules against cancer cells refractory to standard treatments
1 points | 0 comments
Critical Architecture/Software Theory
3 points | 1 comments
0 points | 0 comments
Ministries ordered to replace their instant messaging with Olvid
3 points | 0 comments
0 points | 0 comments
Tax System in the Faroe Islands
106 points | 101 comments
Russia says it’s blocking Facebook in alarming new censorship push
16 points | 4 comments
Rostelecom stopped announcing BGP routes of e-gov platform outside the country
16 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Connecting Software Heritage with the OCaml Ecosystem
3 points | 0 comments
0 points | 0 comments
Russia’s Pursuit of Internet Sovereignty Backfires
5 points | 0 comments
Russia accidentally shuts down state websites in Twitter slowdown
5 points | 0 comments
0 points | 0 comments
Desire Covid-19 exposure notification
2 points | 0 comments
0 points | 0 comments