HNHacker News
TopNewBestAskShowJobs

kryptiskt

10,524 karma · joined January 20, 2012

Developer from Sweden. Idris maintainer. Likes Haskell, Idris, Factor, Rust and Chez Scheme. @kryptiskt on Twitter.

Github: https://github.com/melted/ https://write.as/niklas

submissionscomments

A Bicycle for the Mind – Prologue

technicshistory.com·1 pts·kryptiskt·
0

The world's loudest Lisp program to the rescue

blog.funcall.org·255 pts·kryptiskt·
94

Darknet bazaar Incognito Market is extorting former users

infosec.exchange·53 pts·kryptiskt·
16

Data Scientists Targeted by Malicious Hugging Face ML Models with Backdoor

jfrog.com·3 pts·kryptiskt·
0

Avernum and Geneforge creator Jeff Vogel says "sustainability is tricky"

rockpapershotgun.com·2 pts·kryptiskt·
0

Why is Common Lisp not the most popular programming language?

daninus14.github.io·130 pts·kryptiskt·
332

Chez Scheme v10.0

github.com·9 pts·kryptiskt·
1

Integer overflow and arithmetic safety in C++

orodu.net·1 pts·kryptiskt·
0

Offline Wikipedia in Factor

re.factorcode.org·1 pts·kryptiskt·
0

The Icon Sets Proposed in the Icon Contest 2006

haiku-os.org·2 pts·kryptiskt·
1

Unicode in Factor

re.factorcode.org·2 pts·kryptiskt·
0

How Async/Await Works in C#

devblogs.microsoft.com·152 pts·kryptiskt·
132

Undefined Behavior, and the Sledgehammer Principle

thephd.dev·12 pts·kryptiskt·
0

C11 Atomics in Visual Studio 2022

devblogs.microsoft.com·5 pts·kryptiskt·
0

Various Linux Kernel WLAN Security Issues (RCE/DOS) Found

lwn.net·9 pts·kryptiskt·
1

The Initial Rust Infrastructure Has Been Merged into Linux 6.1

phoronix.com·5 pts·kryptiskt·
0

MOOS: C# OS using .NET7 AOT compilation

github.com·14 pts·kryptiskt·
1

Finally. Embed

thephd.dev·4 pts·kryptiskt·
0

Apple Shipped Me a 79-Pound iPhone Repair Kit to Fix a 1.1-Ounce Battery

theverge.com·507 pts·kryptiskt·
544

Factor in 2022

youtube.com·2 pts·kryptiskt·
0

Poster/Slides Directly in PostScript

okmij.org·2 pts·kryptiskt·
0

Structure and Interpretation of Computer Programs: JavaScript Edition

mitpress.mit.edu·11 pts·kryptiskt·
4

SeL4 Integrity Enforcement Proved for RISC-V

microkerneldude.wordpress.com·3 pts·kryptiskt·
0

Google’s new Fuchsia OS arrives first on old Nest Hub

theverge.com·22 pts·kryptiskt·
2

SeL4 on RISC-V Verified to Binary Code

microkerneldude.wordpress.com·157 pts·kryptiskt·
47

Incubating the Haskell Foundation

tweag.io·3 pts·kryptiskt·
0

Llama Rust SDK preview 0.1.3

ericsink.com·2 pts·kryptiskt·
0

Samsung Considers $10B 3nm Texas Chipmaking Plant, Sources Say

bloomberg.com·6 pts·kryptiskt·
0

User-scalable=no and suppressing zoom suppression

quirksmode.org·1 pts·kryptiskt·
0

Flap Hero Code Review

preshing.com·1 pts·kryptiskt·
0
Page 1 of 7Next →