Modern SAT solvers: fast, neat and underused

In the previous two parts we used a SAT solver as a black box that we feed input into, and it will (usually quickly) spit out an answer. In this part, we will look at how SAT solvers work and what heuristics and other tricks they employ in their quest for performance.

Using an Atari ST as Unix/Linux Terminal

http://www.atari-wiki.com/images/0/00/Text_terminal.jpg
According to Wikipedia, a text terminal is " a serial computer interface for text entry and display". It was the principal way of communicating with computers in the 70's. As a Text terminal requires extremely basic computing needs, ...

Google suspends some business with Huawei

https://s4.reutersmedia.net/resources/r/?m=02&d=20190519&t=2&i=1388821984&w=1200&r=LYNXNPEF4I0LU
Alphabet Inc's Google has suspended business with Huawei that requires the transfer of hardware and software products except those covered by open source licenses, a source close to the matter told Reuters on Sunday, in a blow to the Chinese technology company that the U.S. government has sought...

CodeGen: LLVM wrapper for just-in-time code generation and compilation

https://avatars0.githubusercontent.com/u/6995?s=400&v=4
CodeGen is a library that builds on top of LLVM. It facilitates just-in-time code generation and compilation, including debugging information and human-readable source code. C++ type system is employed to guard against, at least some, errors in the ...

A Decade of Remote Work

While still in college (go Broncos!), I teamed up with Alex (@slevenbits) to create a startup. We were young, inexperienced and naive. Our first project was called YippieMail and it was an email aggregator. Simply put, YippieMail could display all your webmail accounts (i.e. Hotmail, Yahoo and...

Quants Think Like Amateurs in China’s Wild Stock Market

To continue, please click the box below to let us know you're not a robot. Please make sure your browser supports JavaScript and cookies and that you are not blocking them from loading. For more information you can review our Terms of Service ...

Why Racket? Why Lisp?

https://beautifulracket.com/appendix/racetrack.jpg

What Game of Thrones Got Wrong About Firebombing

https://watchersonthewall.com/wp-content/uploads/2019/05/Arya-Stark-mother-daughter-The-Bells.jpg
Much ink has been spilled since last Sunday about the massacre at King’s Landing. Why did Dany carpet-bomb a civilian population after a city had surrendered? Was this a sign of her growing madness? Or a rational strategyto cement the legitimacy of ...

Tell Me More, Nginx (2017)

https://www.honeycomb.io/wp-content/uploads/2017/02/nginx-with-metadata.png
When the cool kids talk about interesting log data, no one seems to want to talk about nginx. Web servers are the workhorses of the internet, reliable and battle-hardened, but the logs are standard and never have anything of the interesting application ...

Knuth: Fantasia Apocalyptica (2017)

https://www-cs-faculty.stanford.edu/~knuth/fantasia-title.jpg
Fantasia Apocalyptica is a multimedia work for pipe organ, accompanied by several video tracks. It can be regarded as a somewhat literal translation of the Biblical book of Revelation into music.

“A company is copyright-claiming every video I have ever made”

https://pbs.twimg.com/profile_banners/542139063/1439653168/1500x500
New conversation That ’s just wow. You know welsknight has has similar problems with his vids where the music has been in question. But he uses an artist that has openly expresses that he has given wels permission to use the music. Youtube ...

Wisconsin bar owner uncovers 134-year-old circus poster

https://www.trbimg.com/img-5ce001fd/turbine/ct-wisconsin-old-circus-poster-20190515
Instead, much to his astonishment, he opened a window into the early history of Durand, Wisconsin, on Labor Day weekend 2015 when he cut a hole in the wall separating the family business from the property next door to accommodate an expansion.

Automakers Are Rethinking the Timetable for Fully Autonomous Cars

https://www.designnews.com/sites/default/files/Design%20News/01-Pacifica_WAYMO_3.jpg
The popular notion of the go-anywhere, go-anytime, sleep-in-the-back autonomous car crumbled a bit in the last few weeks, as automakers admitted that the development of full self-driving technology is more difficult than expected.

A Randomized Controlled Trial of Interleaved Mathematics Practice [pdf]

Journal of Educational Psychology A Randomized Controlled Trial of Interleaved Mathematics Practice Doug Rohrer, Robert F. Dedrick, Marissa K. Hartwig, and Chi-Ngai Cheung Online First Publication, May 16, 2019. http://dx.doi.org/10.1037/edu0000367CITATION ...

AMD Ryzen Mini-STX: ASRock’s DeskMini A300

https://smallformfactor.net/wp-content/uploads/a300-1-810x540.jpg
Around a year ago, AMD graced us with the Ryzen APU family, bringing higher logical core counts and the Vega GPU architecture to the APU platform. Unlike the rather.. limited.. FM1/2/2+ platform family, the new generation ran on the AM4 platform, ...

Programming Language Reminiscence: R-Technology

Electronics BK-0010 was a `home' computer manufactured in the USSR from 1985 through 1993. It was a 16-bit microcomputer (an LSI-11 clone) with the PDP-11 instruction set; it had 3MHz clock and 32KB of RAM, half of which was dedicated to ...

Illegal toxic waste dumping in Italy (2014)

https://i.kinja-img.com/gawker-media/image/upload/s--ejNNZoAq--/c_scale,f_auto,fl_progressive,q_80,w_800/19e95bwg8vfhzjpg.jpg
Organized crime is famously good at exploiting time-sensitive industries like construction, fishing, and—of course—garbage removal. But revelations about millions of tons of toxic waste buried haphazardly and illegally by the mob are causing an uproar in southern Italy, where cancer rates are...

Supdate – A Clojure library for transforming nested data structures

supdate is a small Clojure/ClojureScript library for transforming nested data structures in a straightforward and efficient way. supdatelets you express nested transformations as data structures which match the schema of the input, and then executes ...

Australia Found a Way to Save Water from Plastic Pollution

https://cdn.themindcircle.com/wp-content/uploads/2019/05/save-water-from-plastic-pollution-1.jpg
This past summer authorities from the Australian city of Kwinana installed a new filtration system in the Henley Reserve. This system is unbelievably simple and helpful. Both the government and the citizens have already seen the benefits of using it and ...

A trip to Amarna, the desert city of Akhenaten

https://i.guim.co.uk/img/media/ac19ff40b29fd3aebbc1740d8688ac7848558473/86_421_3458_2075/master/3458.jpg?width=300&quality=85&auto=format&fit=max&s=baac35677dfee7ac2fdd68ce17080760
Amid the convulsions in the years following the Arab Spring, Peter Hessler went to the ancient city of Amarna, site of another short-lived attempt to remake a nation We had always intended to spend at least five years in Egypt. It seemed ...

The “Linen Book of Zagreb”: The Longest Etruscan Text

https://upload.wikimedia.org/wikipedia/commons/thumb/6/63/Zagreba%C4%8Dka_mumija.jpg/300px-Zagreba%C4%8Dka_mumija.jpg
Jump to navigation Jump to search The Liber Linteus Zagrabiensis ( Latin for "Linen Book of Zagreb", also rarely known as Liber Agramensis, "Book of Agram") is the longest Etruscan text and the only extant linenbook, dated ...

Kong raises $43M Series C for its API Gateway

https://techcrunch.com/wp-content/uploads/2018/12/KongFrontOffice.jpg?w=600
Kong, the open core API management and life cycle management company previously known as Mashape, today announced that it has raised a $43 million Series C round led by Index Ventures. Previous investors Andreessen Horowitz and Charles River Ventures (CRV), as well as new investors GGV Capital...

Run CP/M on your C64 using emulation

In this episode of computer archeology, we deconstruct a very interesting case of borrowing code from multiple places – but first try this D64 disk image with any Commodore 64 emulator or a real C64:

Digitization Effort Is the Latest Plot Twist for Cuban Radio Soap Operas

https://media.npr.org/assets/img/2019/05/02/radionovela-11_custom-d05eef1dadb18e7ba56f11168feb835d043376fa-s1100-c15.jpg
The Latin American Library at Tulane University is digitizing and archiving a selection of Spanish language soap operas from the 1960s. The illustration above appeared in a brochure titled "What Is and How to Produce a Radionovela,"

A new memory profiler for Linux written in Rust

https://raw.githubusercontent.com/nokia/memory-profiler/master/screenshot_gui_graphs.png
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together. Sign up Can be used to analyze memory leaks, see where exactly the memory is being consumed, identify ...

What makes ramen noodles so special?

https://i.kinja-img.com/gawker-media/image/upload/s--iUSMj2xc--/c_scale,f_auto,fl_progressive,q_80,w_800/tgskaf7fc9mxpkjvrhh5.jpg
Welcome to The Takeout ’s Asian Noodles Week, a tribute to the O.G. pasta bowl. We’ve broken down ramen’s components: the broth, the tare, the richness added via aroma oil, and popular toppings like the “ajitama” egg and pork chashu. But nothing is more ...

A History and Survey of Network Firewalls (2002) [pdf]

traffic at one or more of the seven layers of the ISO network model, most commonly at the ap-developed to simplify the task of correctly defining a firewall’s policy. Once a policy has beenBecause some data must be able to pass in and out of a firewall, in ...

Updates to Works with Nest

https://storage.googleapis.com/gweb-uniblog-publish-prod/images/IMG_20190507_100220.max-300x300.jpg
Last week we announced that we would stop supporting the Works with Nest (WWN) program on August 31, 2019 and transition to the Works with Google Assistant platform(WWGA). The decision to retire WWN was made to unify our efforts around third-party ...

A novel data-compression technique for faster computer programs

https://3c1703fe8d.site.internapcdn.net/newman/csz/news/800/2019/anoveldataco.jpg
A novel technique developed by MIT researchers compresses “objects ”in memory for the first time, freeing up more memory used by computers, allowing them to run faster and perform more tasks simultaneously. Credit: Christine Daniloff, MIT

Virtual DOM is pure overhead (2018)

If you've used JavaScript frameworks in the last few years, you've probably heard the phrase 'the virtual DOM is fast', often said to mean that it's faster than the realDOM. It's a surprisingly resilient meme —for example people ...