Cieplak

37 ms·

331.
Anatomy of a Haskell-based Application (2015)(abailly.github.io)
1 points by Cieplak 9y ago|0 comments
332.
Intero for Emacs(commercialhaskell.github.io)
1 points by Cieplak 9y ago|0 comments
333.
LiquidHaskell(ucsd-progsys.github.io)
3 points by Cieplak 9y ago|0 comments
334.
SAW: Software Analysis Workbench and Formal Verification Tool(saw.galois.com)
2 points by Cieplak 9y ago|0 comments
335.
by Cieplak 9y ago
Maybe this is just openjdk8 but my API is ~5 times slower when run with `-Xdebug -agentlib:jdwp=transport=dt_socket,address=9999,server=y,suspend=y`
336.
by Cieplak 9y ago
Thought it was interesting that plans for the Clipper Chip were canceled around the time the recently discovered CPU vulnerabilities were introduced. Extremely unlikely that there was some conspiracy given the number of vendors affected, bu
337.
Battle of the Clipper Chip (1994)(nytimes.com)
65 points by Cieplak 9y ago|19 comments
338.
Is there a way to change the environment variables of another process in Unix?(stackoverflow.com)
3 points by Cieplak 9y ago|0 comments
339.
How to test a random number generator (2010)(johndcook.com)
68 points by Cieplak 9y ago|42 comments
340.
by Cieplak 9y ago
Easy: std::vector<P> people = { P{"jane", 47}, P{"mary", 71}, P{"john", 65} }; ranges::sort(people, [](auto& x, auto& y){ return x.weight > y.weight; }); Compile this gist with `c
341.
by Cieplak 9y ago
Given that people have asked why not use a statically typed language, seems appropriate to mention that it's possible to write pythonic-looking C++: http://preshing.com/20141202/cpp-has-become-more-pythonic/
342.
A Brainfuck interpreter inside a single printf statement(github.com)
82 points by Cieplak 9y ago|20 comments
343.
Why did we build our solution on top of FreeBSD?(blog.synergysky.com)
1 points by Cieplak 9y ago|0 comments
344.
Montgomery Multiplication (2012) [pdf](hackersdelight.org)
17 points by Cieplak 9y ago|1 comments
345.
by Cieplak 9y ago
Looking forward to Kyle Kingsbury’s Jepsen review.
346.
by Cieplak 9y ago
Personal favorite calculator: https://en.wikipedia.org/wiki/Curta
347.
by Cieplak 9y ago
Article doesn't mention this but if you're exposing UUIDs to users, it's nice to base62 or base58 encode them. E.g. uuid v4: de7013fb-658e-40a0-9c02-d23080b57fdb base58 : tt7Udwi9Tx9VE1ze7HDBxi Here's a lib
348.
by Cieplak 9y ago
Would it be useful to compress 128-bit UUIDs to fit them into narrower columns and reduce IO? I don't fully grasp the issues this would entail. Looks like there's an old patent related to this: https://www.google.com&#x
349.
by Cieplak 9y ago
How do you generate your diagrams? They're really beautiful. Zooming in on the svg I see that it's all just unicode, but was wondering if you're manually typesetting it.
350.
by Cieplak 9y ago
pybind11 is the nicest foreign function interface I've encountered: https://github.com/pybind/pybind11
351.
by Cieplak 9y ago
Cryptography with Cellular Automata: http://www.stephenwolfram.com/publications/academic/cryptogr...
352.
by Cieplak 9y ago
Depending on the threat model, might also want to install RF insulation to mitigate Van Eck phreaking [1]. [1] https://en.wikipedia.org/wiki/Van_Eck_phreaking
353.
Cryptography with Cellular Automata (1985) [pdf](stephenwolfram.com)
67 points by Cieplak 9y ago|15 comments
354.
by Cieplak 9y ago
If you're serious about preventing exfiltration, you'll do what the military does and use data diodes https://en.wikipedia.org/wiki/Unidirectional_network On a slightly tangent, people with physical access to
355.
by Cieplak 9y ago
Thanks Ali! Miss working with you dude
356.
by Cieplak 9y ago
Sorry. Not trying to impress anyone. Just a simple filter. I love working with Erlang and want to meet other people who do too. Recruiters usually don't immediately recognize which base it is :)
357.
Tiny Renderer: Rendering with OpenGL in 500 Lines of Code(github.com)
2 points by Cieplak 9y ago|0 comments
358.
Apple Secure Coding Guide(developer.apple.com)
1 points by Cieplak 9y ago|0 comments
359.
by Cieplak 9y ago
If you're interested in working with cowboy, we use it extensively at Finix, directly from Erlang as well as through Phoenix from Elixir. My email is cGF0cmljaytobkBmaW5peHBheW1lbnRzLmNvbQ==
360.
by Cieplak 9y ago
Finix | Software Engineer | San Francisco, CA Looking for exceptional people to join our team building payment systems and financial infrastructure. Example product docs: http://developers.finixpayments.com Current stack is a mi

More ›