Newest Stories
Home
Recent
Comments
Search
Login
3
The pain that minimal version selection solves
go
practices
about.sourcegraph.com
via
ceh
5 days ago
|
cached
|
2 comments
2
3
SOTER: Programming Safe Robotics System using Runtime Assurance
formalmethods
arxiv.org
via
ceh
5 days ago
|
cached
|
no comments
0
31
Braid: a functional language that compiles to Go
☶
show
go
github.com
authored by
joshsharp
5 days ago
|
cached
|
10 comments
10
26
I don’t want to learn your garbage query language
databases
programming
rant
erikbern.com
via
Yogthos
5 days ago
|
cached
|
25 comments
25
8
A (mostly) comprehensive guide to calling C from Scheme and vice versa
c
lisp
more-magic.net
via
calvin
5 days ago
|
cached
|
1 comment
1
1
Porting an assembler, debugger, and more to WebAssembly (2014)
javascript
programming
web
drewdevault.com
via
calvin
5 days ago
|
cached
|
no comments
0
6
The Semantics Assignment Problem
plt
bootstrapping.miraheze.org
authored by
rain1
5 days ago
|
cached
|
no comments
0
9
Floating point error is the least of my worries (2011)
math
johndcook.com
via
hwayne
5 days ago
|
cached
|
5 comments
5
2
Abstracting Definitional Interpreters (Functional Pearl)
pdf
plt
david.darais.com
via
rain1
5 days ago
|
cached
|
no comments
0
40
OpenBSD on the Microsoft Surface Go
hardware
openbsd
jcs.org
via
dchest
5 days ago
|
cached
|
1 comment
1
6
Synesthesia: Detecting Screen Content via Remote Acoustic Side Channels
pdf
security
cs.tau.ac.il
via
mulander
5 days ago
|
cached
|
no comments
0
8
Fire And Motion (2002)
practices
joelonsoftware.com
via
friendlysock
5 days ago
|
cached
|
no comments
0
18
What are you doing this weekend?
☶
ask
programming
authored by
caius
5 days ago
|
37 comments
37
7
Robust Notes with Embedded Code
☶
c++
emacs
haskell
arcadianvisions.com
via
Shapr
5 days ago
|
cached
|
no comments
0
19
Has anyone written a custom compiler for a single program?
☶
ask
compilers
authored by
joe_the_user
5 days ago
|
36 comments
36
5
Edge case in Go's windows exec package
go
windows
golang.org
via
yumaikas
5 days ago
|
cached
|
no comments
0
2
Deriving State Machines from TinyOS Programs using Symbolic Execution (2008)
☶
pdf
c
formalmethods
web.cs.ucla.edu
via
nickpsecurity
5 days ago
|
cached
|
no comments
0
3
Structuring an Abstract Interpreter through Value and State Abstractions in Frama-C (2017)
☶
pdf
c
formalmethods
hal.archives-ouvertes.fr
via
nickpsecurity
5 days ago
|
cached
|
no comments
0
11
When Snails Attack: The Epic Discovery Of An Ecological Phenomenon
meta
blogs.discovermagazine.com
via
praalhans
5 days ago
|
cached
|
4 comments
4
6
The Ecological Impact of Browser Diversity
browsers
css-tricks.com
via
calvin
5 days ago
|
cached
|
no comments
0
6
Paper uncovers a bug in the Java standard library implementation of Timsort
java
programming
drops.dagstuhl.de
via
Yogthos
5 days ago
|
cached
|
2 comments
2
15
The History of a Security Hole
openbsd
security
os2museum.com
via
crazyloglad
5 days ago
|
cached
|
1 comment
1
-1
FCK DRM
law
fckdrm.com
via
rain1
5 days ago
|
cached
|
1 comment
1
48
Lobste.rs: Upgrading Rails to 5.2
meta
ruby
td0.io
authored by
thomas0
5 days ago
|
cached
|
14 comments
14
6
LeFlow: Enabling Flexible FPGA High-Level Synthesis of Tensorflow Deep Neural Networks
☶
pdf
video
ai
hardware
twitter.com
via
animatronic
5 days ago
|
cached
|
no comments
0
<< Page 6
|
Page 8 >>