aaw

5 ms·

1.
by aaw 3y ago
This one's 250 understandable lines: https://github.com/marijnheule/microsat . You could probably get it to below 200 lines if you removed the restart logic and learned clause compaction, but it's actually a s
2.
20 Questions for ChatGPT(www-cs-faculty.stanford.edu)
2 points by aaw 3y ago|1 comments
3.
What Is Next?(lucatrevisan.wordpress.com)
1 points by aaw 7y ago|0 comments
4.
by aaw 10y ago
This looks interesting. I've only glanced at the docs, but it looks like this module system lets you define new commands but not necessarily new data structures (since you'd have to implement RDB/AOF serialization for those).
5.
Hand-crafted Containers(blog.z3bra.org)
6 points by aaw 10y ago|0 comments
6.
Post-quantum key agreement(imperialviolet.org)
8 points by aaw 11y ago|0 comments
7.
Owning Internet Printing – A Case Study in Modern Software Exploitation(googleprojectzero.blogspot.com)
1 points by aaw 11y ago|0 comments
8.
Distroshare (custom Linux distributions) kickstarter(kickstarter.com)
1 points by aaw 11y ago|0 comments
9.
by aaw 12y ago
Yeah, it's enough for me. It's my primary development machine by choice, and it's enough to do anything I need at a terminal (running emacs, developing and testing rails servers, docker builds, etc.) while keeping Chrome open
10.
by aaw 12y ago
After going through several Linux laptops over the past decade, including a couple of Thinkpads, I agree. My current Chromebook running Ubuntu is by far my favorite. The whole setup comes in under $300: buy a certified refurbished Acer C720
11.
by aaw 12y ago
The best of all the conspiracy theories was http://pastebin.com/9catw4X7 .
12.
After Scrum(dadhacker.com)
6 points by aaw 15y ago|0 comments
13.
Writing an Interpreter with PyPy, Part 1(morepypy.blogspot.com)
7 points by aaw 15y ago|0 comments
14.
by aaw 15y ago
I really like the /classic front page view. Could we try a similar comment view as well, with votes only counted from users who've been here for at least a year?
15.
by aaw 16y ago
The Android Market has a similar problem. There is such a large proportion of reviews that are complaints about failed downloads, scare tactics from competitors ("This app installs malware!"), and feature requests ("3 stars. I'll give you f
16.
What Twitter and the NYT have in common(scripting.com)
25 points by aaw 16y ago|8 comments
17.
Creating Android applications with Clojure, Part 1(deepbluelambda.org)
4 points by aaw 16y ago|0 comments
18.
After Facebook, Accel's Jim Breyer Is Bullish on New York(dealbook.nytimes.com)
3 points by aaw 16y ago|0 comments
19.
by aaw 16y ago
I get anywhere from 1%-3% clickthrough, depending on the app, with AdMob. Whether your ads blend in with your app and where you place your ads affects this rate. AdMob recommends that you place your ads at the end of a user action, as in, o
20.
Bring Back the News(measuringmeasures.com)
27 points by aaw 16y ago|2 comments
21.
Web Intents: a web protocol based on Android's intent model(webintents.appspot.com)
1 points by aaw 16y ago|0 comments
22.
Why Does Custom Software Cost So Much?(nomadic-developer.com)
2 points by aaw 16y ago|0 comments
23.
More Payment Options in Android Market(android-developers.blogspot.com)
4 points by aaw 16y ago|0 comments
24.
Change in URL Structure is Latest Sign of Web-Based Android Market(androidguys.com)
1 points by aaw 16y ago|0 comments
25.
Wall St. Computers Read and Trade on the News (nytimes.com)
6 points by aaw 16y ago|3 comments
26.
E-Mail Use Falls as Young Chat and Text (nytimes.com)
5 points by aaw 16y ago|1 comments
27.
Improved Algorithm for Metric Traveling Salesman Problem(blog.computationalcomplexity.org)
5 points by aaw 16y ago|0 comments
28.
YouTube Is Said to Be in Talks to Buy Next New Networks(nytimes.com)
2 points by aaw 16y ago|0 comments
29.
On an Innovative Device, Apps Lacking Imagination (nytimes.com)
3 points by aaw 16y ago|0 comments
30.
PyPy 1.4: Ouroboros in practice(morepypy.blogspot.com)
127 points by aaw 16y ago|20 comments

More ›