2521
Introducing Transport Layer Security in pure OCaml
This domain name has been registered with Gandi.net. It is currently parked by the owner.
Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 3,470 posts.
2522
2523
What is property-based testing? (2016)
I get asked this a lot, and I write property based testing tools for a living, so you'd think I have a good answer to this, but historically I haven't. This is my attempt to fix that.
2524
An empirical study on the correctness of formally verified distributed systems
An empirical study on the correctness of formally verified distributed systems Fonseca et al., EuroSys’17 “Is your distributed system bug free?” “I formally verified it!R…
2525
End-User Programming
A vision for empowered computing that reaches back forty years. Our research lab examines why it has been so hard to achieve.
2526
Devcards – Taking Interactivity to the Next Level
Devcards is a ClojureScript library that helps developers interactively lift code examples out of their source files into an organized set of cards in the browser.
2527
The Haskell Phrasebook (2019)
The Haskell Phrasebook is a free quick-start Haskell guide comprised of a sequence of small annotated programs.
2528
Brainfuck Optimization Strategies
In almost every computation a great variety of arrangements for the succession of the processes is possible, and various considerations must influence the selection amongst them for the purposes of a Calculating Engine. One essential object is to choose that arrangement which shall tend to reduce to a minimum the time…
2529
Notes on a Smaller Rust
Many people who use Rust for a bit - especially those who like the language but do not fall in love with it - feel a sense that there must be a smaller, simpler variation on the same theme which would maybe be a little less powerful, but would also be much easier to use. I agree with them, but I think they are almost…
2530
The Rest of the Lenna Story
Home Page for Charles Rosenberg
2531
Coreutils Gotchas (2015)
Confusing corners of the unix utilities
2532
Game Programming Patterns – Bytecode
Give behavior the flexibility of data by encoding it as instructions for a virtual machine.
2533
Fast Fibonacci Algorithms (2015)
Definition: The Fibonacci sequence is defined as \(F(0) = 0\), \(F(1) = 1\), and \(F(n) = F(n-1) + F(n-2)\) for \(n ≥ 2\). So the sequence (starting with \(F(0)\)) is 0, 1, 1, 2, 3, 5, 8, 13, 21, ….
2534
Git: fetch and merge, don’t pull
This is too long and rambling, but to steal a joke from Mark Twain Blaise Pascal I haven’t had time to make it shorter yet. There is some discussion of this post on the git mailing list , but much of it is tangential to the points I’m trying to make here.
2535
Understanding JavaScript function invocation and "this"
Over the years, I've seen a lot of confusion about JavaScript function invocation. In particular, a lot of people have complained that the semantics of this in function invocations is confusing. In my opinion, a lot of this confusion is cleared up by understanding the core function invocation primitive,
2536
Wrapper Types in Rust: Choosing Your Guarantees
This post is now a part of the official rust book In my previous post I talked a bit about why the RWlock pattern is important for accessing data, …
2537
Gevent For the Working Python Developer
The structure of this tutorial assumes an intermediate level knowledge of Python but not much else. No knowledge of concurrency is expected. The goal is to give you the tools you need to get going with gevent, help you tame your existing concurrency problems and start writing asynchronous applications today.
2538
C: The Complete Nonsense
Back in 1996, having heard horror stories about Herbert Schildt's C: The Complete Reference , I decided to check it out. I flipped the book open; I found glaring errors. I paged through it. I found more glaring errors. In short, the book had lived up to the hype; it was awful. Being a pedantic sort, and having just…
2539
Generating code from natural language is closer than you think
Articles by Stephen Wolfram covering artificial intelligence, computational science and computational thinking, data science, education, future and historical perspectives, sciences, software design, technology, Wolfram products, more.
2540
2541
2542
The Python IAQ: Infrequently Answered Questions
A question is infrequently answered either because few people know the answer or because it concerns an obscure, subtle point (but a point that may be crucial to you). I thought I had invented the term for my Java IAQ , but it also shows up at the very informative About.com Urban Legends site. There are lots of Python…
2543
2544
2545
Miguel De Icaza: Microsoft promises to never sue anyone regarding Mono.
Miguel de Icaza's Blog
2546
A micro-manual for Lisp implemented in C
Recently I had to go through some code that uses the uIP TCP/IP stack, which reminded me, it has been a long time since I did something in C so I ended up spending the weekend implementing the 10 rules John McCarthy described in his paper A Micro-Manual for Lisp - not the whole Truth .
2547
2548
2549
Introduction to tmux (alternative to GNU screen)
tmux is similar to screen as it lets you run numerous TTY’s in the same terminal window. It supports some very cool and intuitive features natively as well as a much more readable configuration syntax (ever looked at a .screenrc file?). Why TMUX over Screen? Well according to the FAQ for tmux it has the following…
2550
What webhooks are and why you should care
Webhooks are user-defined HTTP callbacks. Here’s a common example: You go to github. There’s a textbox for their code post webhook. You drop in a URL. Now when you post your code to github, github will HTTP POST to your chosen URL with details about the code post. There is no simpler way to allow open ended…