Active
Recent
Comments
Search
Login
Login
arxiv.org: 579 stories from 187 submitters
15
A fast in-place interpreter for WebAssembly
plt
wasm
arxiv.org
via
eatonphil
41 hours ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
8
MagicPairing: Apple's Take on Securing Bluetooth Peripherals
pdf
hardware
ios
security
arxiv.org
via
calvin
47 hours ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
3
Gödel Machines: Self-Referential Universal Problem Solvers (2006)
ai
arxiv.org
via
milkandcigarettes
9 days ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
3 comments
3
2
Autoformalization with Large Language Models
ai
formalmethods
arxiv.org
via
sanxiyn
13 days ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
6
Aeneas: Rust Verification by Functional Translation
formalmethods
rust
arxiv.org
via
sanxiyn
13 days ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
8
Raw Filtering of JSON Data on FPGAs
pdf
performance
arxiv.org
via
rsdbdr203
26 days ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
7 comments
7
3
ClangJIT: Enhancing C++ with Just-in-Time Compilation
pdf
compilers
plt
arxiv.org
via
dpercy
1 month ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
3
The Semantics of Rank Polymorphism
pdf
apl
plt
arxiv.org
via
calvin
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
4
Maximum Flow and Minimum-Cost Flow in Almost-Linear Time
compsci
arxiv.org
via
dl
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
30
Copy-and-Patch Compilation: A fast compilation algorithm for high-level languages and bytecode
pdf
compilers
arxiv.org
via
msfjarvis
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
7 comments
7
7
ShorTor: Improving Tor Network Latency via Multi-hop Overlay Routing
networking
privacy
arxiv.org
via
nomemory
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
11
A Study of Real-World Data Races in Golang
pdf
go
plt
practices
arxiv.org
via
armael
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
6 comments
6
3
Goodbye Tracking? Impact of iOS App Tracking Transparency and Privacy Labels
ios
privacy
arxiv.org
via
asymmetric
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
4
Understanding the role of single-board computers in engineering and computer science education
hardware
practices
arxiv.org
via
mtset
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
6
The State of Fortran
fortran
arxiv.org
via
sanxiyn
2 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
10
Wordle is NP-hard
compsci
arxiv.org
via
azhenley
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
2
A Conversational Paradigm for Program Synthesis
ai
arxiv.org
via
azhenley
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
19
Measuring the Earth with Traceroute
☶
pdf
education
networking
arxiv.org
via
ema
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
3 comments
3
16
On the design of text editors
☶
pdf
design
emacs
arxiv.org
via
calvin
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
4 comments
4
15
A Formal Model of Checked C
c
formalmethods
arxiv.org
via
sanxiyn
4 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
9
50 Years of Prolog and Beyond
plt
arxiv.org
via
aarroyoc
5 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
3
Deep Multi-attribute Graph Representation Learning on Protein Structures (2020)
pdf
ai
arxiv.org
via
suppimo
5 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
6
Lock-Free Locks Revisited
c++
compsci
arxiv.org
via
crstry
5 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
3
Learning to Break Deep Perceptual Hashing
☶
pdf
security
arxiv.org
via
fcbsd
5 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
13
How ISO C became unusable for operating systems development
c
compilers
osdev
arxiv.org
via
crstry
5 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
19 comments
19
Page 2 >>