Newest Stories by sanxiyn
Home
Recent
Comments
Search
Login
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
Page 2 >>