1471
The Reasoned Lisper
Bridging Discrete and Continuous Logic in Automated Reasoning Systems In this article we will explore the connection between Functional Programming and reasoning. Functional Programming is often ad…
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 1,895 posts.
1472
1473
Let Twitter Be Twitter
By the lights of many investors Twitter is floundering. Its long-time CEO (five years is long in Internet time), Dick Costolo, jumped or was pushed in June, the board is scrambling to find a replacement, and Wall Street is sounding the alarm. The company’s revenue merely doubled last year, to $1.4 billion. Only 300…
1474
Where to hate daylight saving time and where to love it
Update: a newer version of this little project helps you make your complaints about daylight saving time—whether they’re for or against it—with clearer messages about whether keeping DST, abolishing it, or making it permanent would be best for your daylight preferences. Give it a whirl over at Observable.
1475
Interviewing candidates
A quick note: I’m going to be traveling for much of the rest of June and I haven’t got articles queued up, so the blog will go dark for a bit; see you in July! In the last two episodes …
1476
The truth about C and Unix history
My homepage for projects, jokes and bunnies.
1477
1478
Any Sufficiently Advanced Technology Is Indistinguishable from Cthulhu
Hugh Hancock here. Charlie is currently in a space beyond place and time, folded into manifold dimensions that ring like bone-carved bells. Or to put it another way, he's on public transport. So I'm filling in for the day - he'll be back shortly!
1479
All the Technology but None of the Love
This post has been re-written several times, so please forgive me if it does not come across as coherent as I would like to. The main reason for the re-write was this post by Martin Wedge . Originally I planned to scrap the whole thing but maybe having a different perspective will help, I’ve deleted those parts that…
1480
Neurons Gone Wild
To reject gods and spirits is easy: just bully them away in the name of science.
1481
“Flower of Battle,” a combat manual created in the first decade of the 1400s
Fior di Battaglia = Flower of Battle = Flos Duellatorum , a combat manual created in the first decade of 15th cent. "Like people today,...
1482
1483
1484
1485
1486
Everyone has JavaScript, right?
These are by no means all the reasons why your JavaScript might fail to run even when you expected it to. Andy Bell has a great list over at piccalil.li of a handful of very realistic reasons JavaScript won’t be available . Check ’em out, and be prepared.
1487
Stupid Apps and Changing the World
An article came out today in Businessweek about arrogance and Silicon Valley. I thought it was good, but there was one more point I wanted to make. People often accuse people in Silicon Valley...
1488
96 MacBook Pro’s in one server rack
96 MacBook Pro’s in a single Rack space We had a need to introduce 96 MacBook Pro’s for our product testing. Our requirements included Retina displays, small form factor, low powe…
1489
Breaking all the Eggs in C++
If you want to make an omelet, so the saying goes, you have to break a few eggs. Think of the omelet you could make if you broke not just a...
1490
1491
How I optimised my life to make my job redundant
If you’re a regular reader, you may have noticed a rather major job change on my behalf [https://www.troyhunt.com/2015/05/so-dust-has-finally-settled.html] recently. The day to day office grind has gone and corporate life is now well and truly behind me, where
1492
The Math I Learned After I Thought Had Already Learned Math
True story: it’s possible to fly through your own secondary math education — honor roll bumper sticker on your mom’s minivan and all —Â but miss some of the Very Big Ideas of secondary …
1493
Super easy project planning and estimation
Add tasks to your project and break them down into subtasks. The tree layout highlights the structure of your project.
1494
1495
1496
1497
Adventures in financial and software engineering
This post describes how to implement a DSL for pricing financial contracts in Scala
1498
Atari Vax Mail, Memos and Status Reports: 1982-1992 (2001)
I worked for Atari and then one of its successor companies (Atari Games) for 13 years, designing hardware for coin-operated video games.
1499
Practical Makefiles, by example
The purpose of this document is to explain how to write practical makefiles for your everyday hacks and projects. I want to illustrate, how easy it is to use make for building your programs, and doing so, dispel the notion that resorting to big clunky graphical IDEs, or makefile generators such as autotools or cmake…
1500
