Finding bugs in Haskell code by proving it programming

---

• Finding bugs in Haskell code by proving it
• RPCS3 PS3 Emulator Progress Report: November 2017 (which was just released due to delays)
• Creating a Christmas card on a vintage IBM 1401 mainframe
• What Makes a Great Software Engineer? [pdf]
• Remotely Cracking Bluetooth Enabled Gun Safes
• Innovating Faster on Personalization Algorithms at Netflix Using Interleaving
• Canarytokens.org - Quick and Free Breach Detection for the Masses
• Teach the CLI to Talk Back
• Working through littleosbook on a Mac
• Fernando Arnaboldi: Exposing Hidden Exploitable Behaviors in Programming Languages Using Differential Fuzzing (pdf)
• The Case for Learned Index Structures (vs B-tree or hash indices)
• Distributed Graph Computation as Simple as It Gets with Apache Storm
• CVDisplayLink Doesn't Link To Your Display
• Pokemon Emerald ROM hacking
• [StarCraft AI] SSCAIT Report 59: Recommendations, Patreon, New Research Group
• Metrics for programmers automatically generated from your coding activity
• RawHTTP - a JVM library for handling raw HTTP
• Automatic FlameGraph generation from JMH Benchmarks using (SBT) JMH Extras (plain Java too)
• Secure Apps Exposed to Hacking via Flaws in Underlying Programming Languages
• The Emperor's new Currency

Finding bugs in Haskell code by proving it Posted: 10 Dec 2017 06:54 AM PST submitted by /u/based2 [link] [comments]

RPCS3 PS3 Emulator Progress Report: November 2017 (which was just released due to delays) Posted: 10 Dec 2017 09:49 AM PST submitted by /u/kirbyfan64sos [link] [comments]

Creating a Christmas card on a vintage IBM 1401 mainframe Posted: 10 Dec 2017 11:30 AM PST submitted by /u/red_fern [link] [comments]

What Makes a Great Software Engineer? [pdf] Posted: 10 Dec 2017 03:08 PM PST submitted by /u/stanislavb [link] [comments]

Remotely Cracking Bluetooth Enabled Gun Safes Posted: 10 Dec 2017 07:04 PM PST submitted by /u/theoldboy [link] [comments]

Innovating Faster on Personalization Algorithms at Netflix Using Interleaving Posted: 10 Dec 2017 06:25 AM PST submitted by /u/joubertn [link] [comments]

Canarytokens.org - Quick and Free Breach Detection for the Masses Posted: 10 Dec 2017 02:02 AM PST submitted by /u/alexeyr [link] [comments]

Teach the CLI to Talk Back Posted: 10 Dec 2017 07:23 PM PST submitted by /u/julian88888888 [link] [comments]

Working through littleosbook on a Mac Posted: 10 Dec 2017 06:59 PM PST submitted by /u/bellkev [link] [comments]

Fernando Arnaboldi: Exposing Hidden Exploitable Behaviors in Programming Languages Using Differential Fuzzing (pdf) Posted: 10 Dec 2017 02:43 AM PST submitted by /u/JohnDoe_John [link] [comments]

The Case for Learned Index Structures (vs B-tree or hash indices) Posted: 09 Dec 2017 11:20 PM PST submitted by /u/alexeyr [link] [comments]

Distributed Graph Computation as Simple as It Gets with Apache Storm Posted: 10 Dec 2017 05:27 PM PST submitted by /u/prtkgpt [link] [comments]

CVDisplayLink Doesn't Link To Your Display Posted: 10 Dec 2017 01:54 AM PST submitted by /u/yairchu [link] [comments]

Pokemon Emerald ROM hacking Posted: 09 Dec 2017 11:28 PM PST submitted by /u/Schampu [link] [comments]

[StarCraft AI] SSCAIT Report 59: Recommendations, Patreon, New Research Group Posted: 10 Dec 2017 03:46 PM PST submitted by /u/breakk [link] [comments]

Metrics for programmers automatically generated from your coding activity Posted: 10 Dec 2017 07:28 PM PST submitted by /u/winner_godson [link] [comments]

RawHTTP - a JVM library for handling raw HTTP Posted: 10 Dec 2017 02:37 PM PST submitted by /u/renatoathaydes [link] [comments]

Automatic FlameGraph generation from JMH Benchmarks using (SBT) JMH Extras (plain Java too) Posted: 09 Dec 2017 10:59 PM PST submitted by /u/alexeyr [link] [comments]

Secure Apps Exposed to Hacking via Flaws in Underlying Programming Languages Posted: 10 Dec 2017 12:23 PM PST submitted by /u/mixplate [link] [comments]

The Emperor's new Currency Posted: 10 Dec 2017 06:11 PM PST submitted by /u/nullnullnull [link] [comments]

You are subscribed to email updates from programming. To stop receiving these emails, you may unsubscribe now.	Email delivery powered by Google
Google, 1600 Amphitheatre Parkway, Mountain View, CA 94043, United States