Newest Stories by sanxiyn | Lobsters

5

Announcing Scala.js 1.4.0 javascript release scala scala-js.org
via sanxiyn 2 days ago | cached | no comments

0
6

HAC Ada Compiler compilers github.com
via sanxiyn 8 days ago | cached | 5 comments

5
1

HACL*: a formally verified cryptographic library crypto formalmethods hacl-star.github.io
via sanxiyn 11 days ago | cached | no comments

0
21

PyPy is looking for sponsorship to support Apple Silicon python morepypy.blogspot.com
via sanxiyn 16 days ago | cached | 8 comments

8
26

Futureproof: a live editor for GPU shaders graphics zig mattkeeter.com
via sanxiyn 17 days ago | cached | 4 comments

4
7

The Skew Programming Language plt skew-lang.org
via sanxiyn 19 days ago | cached | 18 comments

18
31

The Flix Programming Language plt flix.dev
via sanxiyn 22 days ago | cached | 4 comments

4
19

SixtyFPS: a fresh new toolkit for graphical user interfaces graphics sixtyfps.io
via sanxiyn 24 days ago | cached | 19 comments

19
2

Finding Vulnerabilities using Advanced Fuzz testing and AFLplusplus v3.0 security testing blog.adacore.com
via sanxiyn 29 days ago | cached | 1 comment

1
0

Graphcore Announces Production Release of PyTorch for IPU ai hardware medium.com
via sanxiyn 1 month ago | cached | no comments

0
12

Branch Prediction Is Not a Solved Problem hardware arxiv.org
via sanxiyn 1 month ago | cached | 6 comments

6
1

Fast UI Draw is a library that provides a higher performance Canvas interface graphics github.com
via sanxiyn 2 months ago | cached | no comments

0
1

Language ID in the Wild ai arxiv.org
via sanxiyn 2 months ago | cached | no comments

0
8

Indistinguishability Obfuscation from Well-Founded Assumptions crypto arxiv.org
via sanxiyn 2 months ago | cached | 2 comments

2
21

Using TLA+ in the Real World to Understand a Glibc Bug formalmethods probablydance.com
via sanxiyn 2 months ago | cached | no comments

0
2

Milvus: An Open Source Vector Similarity Search Engine programming milvus.io
via sanxiyn 2 months ago | cached | no comments

0
38

DOS Subsystem for Linux linux github.com
via sanxiyn 3 months ago | cached | 8 comments

8
2

Learning-based Memory Allocation for C++ Server Workloads ai research.google
via sanxiyn 3 months ago | cached | no comments

0
2

Putting Randomized Compiler Testing into Production compilers multicore.doc.ic.ac.uk
via sanxiyn 4 months ago | cached | no comments

0
2

Generative Language Modeling for Automated Theorem Proving ai formalmethods math arxiv.org
via sanxiyn 4 months ago | cached | no comments

0
15

jsonptr: Using Wuffs' Memory-Safe, Zero-Allocation JSON Decoder programming nigeltao.github.io
via sanxiyn 4 months ago | cached | no comments

0
3

The Node Is Nonsense: There are better ways to measure progress than the old Moore's law metric pdf hardware gwern.net
via sanxiyn 4 months ago | cached | no comments

0
6

Implementing a GHC Plugin for Liquid Haskell haskell well-typed.com
via sanxiyn 4 months ago | cached | no comments

0
10

LiquidHaskell is a GHC Plugin haskell ucsd-progsys.github.io
via sanxiyn 4 months ago | cached | no comments

0
2

Evaluating BBRv2 on the Dropbox Edge Network networking arxiv.org
via sanxiyn 5 months ago | cached | no comments

0