Cieplak

26 ms·

211.
Remotely Attacking Network Cards (or why we do need VT-d and TXT) (2010)(theinvisiblethings.blogspot.com)
1 points by Cieplak 8y ago|0 comments
212.
SuperRecord: Anonymous Records for Haskell (2017)(athiemann.net)
1 points by Cieplak 8y ago|0 comments
213.
People Don't Write Programs (2018)(pron.github.io)
2 points by Cieplak 8y ago|0 comments
214.
Lambda Cube(en.wikipedia.org)
139 points by Cieplak 8y ago|53 comments
215.
by Cieplak 8y ago
Was recently asking the exact same question, and this is the best answer I found regarding some of the limitations of Prolog: https://faculty.nps.edu/ncrowe/book/chap14.html
216.
Alloy*: A Higher-Order Relational Constraint Solver(aleksandarmilicevic.github.io)
201 points by Cieplak 8y ago|19 comments
217.
Ramen has become the black-market currency in American prisons (2016)(washingtonpost.com)
1 points by Cieplak 8y ago|0 comments
218.
Gen. Nakasone on US Cyber Command(schneier.com)
1 points by Cieplak 8y ago|0 comments
219.
by Cieplak 8y ago
Took Dr. Yorke’s undergraduate course on dynamical systems at Maryland. By far my favorite course ever. Interesting to note that the result discussed in this paper was independently discovered a few years earlier by Sharkovskii [1]. [1] ht
220.
Programming Constraint Services with Z3(theory.stanford.edu)
1 points by Cieplak 8y ago|0 comments
221.
by Cieplak 8y ago
Who needs transportation infrastructure when you have F22s, B2 Spirits, Ohio-class submarines and aircraft carriers?
222.
by Cieplak 8y ago
This is amazing and much-needed progress for Excel, which I think is arguably one of the greatest software products ever (except perhaps the web browser). Unfortunately for Excel, it’s essential to Microsoft’s product strategy for keeping p
223.
RACK: a time-based fast loss detection algorithm for TCP (2018)(tools.ietf.org)
36 points by Cieplak 8y ago|8 comments
224.
Heavy Rainfall Can Cause Huge Earthquakes (2011)(news.nationalgeographic.com)
1 points by Cieplak 8y ago|0 comments
225.
by Cieplak 8y ago
Guessing it’s an Electron app, in which case it’s more along the lines of a desktop-packaged website.
226.
Writing a Self-Mutating x86_64 C Program (2013)(shanetully.com)
84 points by Cieplak 8y ago|55 comments
227.
Exploring and exploiting Lenovo firmware secrets (2016)(blog.cr4.sh)
2 points by Cieplak 8y ago|0 comments
228.
Xiaomi Mijia M365 Custom Firmware Toolkit(m365.botox.bz)
3 points by Cieplak 8y ago|0 comments
229.
by Cieplak 8y ago
Interesting tidbit: The Federal Communications Commission (FCC) said in an order late on Monday that it would grant Google a waiver to operate the Soli sensors at higher power levels than currently allowed.
230.
Google wins U.S. approval for radar-based hand motion sensor(reuters.com)
134 points by Cieplak 8y ago|56 comments
231.
A Real SMM Rootkit: Reversing and Hooking BiOS SMI Handlers (2009)(phrack.org)
2 points by Cieplak 8y ago|0 comments
232.
FoundationDB Fault Tolerance Demo [video](youtube.com)
4 points by Cieplak 8y ago|0 comments
233.
by Cieplak 8y ago
Is it possible to comply with GDPR while using this to store data? Given that it operates like an append-only log, is it possible to actually remove data to comply with a GDPR request?
234.
How to run a program without an operating system?(stackoverflow.com)
394 points by Cieplak 8y ago|99 comments
235.
Howard Chu – LMDB [The Databaseology Lectures – CMU Fall 2015](youtube.com)
2 points by Cieplak 8y ago|0 comments
236.
Aelve Guide – Haskell(guide.aelve.com)
3 points by Cieplak 8y ago|0 comments
237.
Clear Sound, Sleek Styling, and Microwave Radiation(alumni.berkeley.edu)
1 points by Cieplak 8y ago|0 comments
238.
Donut math: how donut.c works (2011)(a1k0n.net)
15 points by Cieplak 8y ago|0 comments
239.
Floating Gate MOSFET(en.wikipedia.org)
2 points by Cieplak 8y ago|0 comments
240.
New Hardware for Massive Neural Networks (1988) [pdf](papers.nips.cc)
53 points by Cieplak 8y ago|8 comments

More ›