Top all-time · #6300
Maniagnosis
Personal blog · maniagnosis.crsr.net · on HN as mcguireprogramming
Maniagnosis is a personal blog at maniagnosis.crsr.net about programming. Since 2012, 13 different Hacker News readers have linked it 61 times, most often “The bug in Quick Search”. The last post was in 2018, but the archive is still widely read.
Too few sampled comments (4) to say how often HN recommends it.?
Why HN links it
HN readers link this blog for posts on programming languages and type systems, including a 1985 Dijkstra interview, AFL fuzzing, and abstracted algebra in Rust. One commenter calls two of its AFL posts nice.
Summarised by Claude from a sample of 4 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
A blog, mostly about programming.
Most-linked posts?
- The bug in Quick Search4 people · 4 mentions · first linked 2017-06-24
- Programming language syntax that I don’t like2 people · 3 mentions · first linked 2017-08-16
What Hacker News says?
https://maniagnosis.crsr.net/2012/03/clean-coder.html
Comment linking /2012/03/clean-coder.html
on “Ask HN: What language-agnostic programming books should I read?”Submitted Programming language syntax that I don’t like as a story · 13 points
HN discussionhttps://maniagnosis.crsr.net/ You probably shouldn't; it's not very awesome and nobody else reads it.
Comment linking /
on “Ask HN: What is your blog and why should I read it?”Submitted The bug in Quick Search as a story · 8 points
HN discussionA short guide to academic titles: https://maniagnosis.crsr.net/2016/02/a-short-guide-to-academ...
Comment linking /2016/02/a-short-guide-to-academic-titles.html
on “Git's list of banned C functions”Submitted Replacing a (really simple) Java web service with Rustful as a story · 5 points
HN discussionThere is this: http://maniagnosis.crsr.net/2013/04/operator-overloading-in-... I think a current version should still be similar, although I haven't had a chance to take a look at the code for 0.9. I also notice that I forgot to update that with the double-dispatch approach.
Comment linking /2013/04/operator-overloading-in-rust.html
on “Rust 0.9 released”Submitted Maniagnosis – Quicksort as a story · 3 points
HN discussionIt's a somewhat common problem with Lisps specifically and dynamically typed languages in general. Because the bottom-level operations won't let you do things that are completely idiotic, everything is "safe", so maintaining the sanctity [1] of higher level abstractions sometimes gets lost in the shuffle. I once wrote a blog post about related issues.[2] [1] Ok, so there are lots of terms with just slightly the wron…
Comment linking /2011/06/some-lisp-suggestions.html?m=1
on “My Increasing Frustration with Clojure”Submitted The pain of learning Rust as a story · 3 points
HN discussionHaving played with dependently typed languages (ATS, Idris) some, and with verification tools (SPARK/Ada, Frama-C/C), I'd like to go a little farther and say that the verification tools are much more like "normal programming" rather than building a proof with the side effect of creating a program. https://maniagnosis.crsr.net/tags/applied%20formal%20logic.h...
Comment linking /tags/applied%20formal%20logic.html
on “F* – An ML-like functional programming language aimed at program verification”Submitted Push-parsing and Pony as a story · 3 points
HN discussionAbout The Clean Coder : http://maniagnosis.crsr.net/2012/03/clean-coder.html
Comment linking /2012/03/clean-coder.html
on “How to be a great software developer”Submitted Applied Formal Logic – The Bug in Quick Search as a story · 2 points
HN discussionRandom tangent: I was poking around your blog and found the entry "1985 Dijkstra interview"[1] and I was struck by this line: > The net effect of it seems to be that a full system for really acceptable programming will be at the same time a full system that will suffice for the description of constructive mathematics. He said that in '85!? Wow. [1] https://maniagnosis.crsr.net/2007/10/1985-dijkstra-interview...
Comment linking /2007/10/1985-dijkstra-interview.html
on “3500 packages uploaded to PyPI, pointing to a malicious URL”Submitted Applied Formal Logic: The Bug in Quick Search as a story · 2 points
HN discussionI really dislike this policy when applied to programming languages. Things from pop culture are going to be referred to pervasively in the media and blogosphere, but programming languages don't get there without massive marketing pushes, press releases, etc. That doesn't mean a language is not itself notable. Anyway, there's plenty about Nim that is not primary: http://goran.krampe.se/2014/10/13/here-comes-nim/ http…
Comment linking /2013/12/letterpress-cheating-in-nimrod.html
on “Nim (formerly Nimrod) 0.10.2 released”Submitted Applied Formal Logic: Brute Force String Search as a story · 2 points
HN discussionIn addition to Dafny ( https://github.com/Microsoft/dafny ) and Whiley ( http://whiley.org/ ), check out Frama-C ( https://frama-c.com/ ) for C and SPARK ( http://www.spark-2014.org/ ) for Ada. Both are mature enough to be in use, but are limited primarily by the fact that both languages have manual memory management, which is well understood via separation logic, but poorly supported by the tools. I've written some…
Comment linking /2017/08/AFL-verifying-quicksort.html
on “Notes on Idris (2017)”Submitted Practical regular expression derivatives (for some definition of "practical") as a story · 2 points
HN discussionHere are two nice blog posts on the state of the art of this "not too hard" problem: https://maniagnosis.crsr.net/2017/06/AFL-brute-force-search.... https://maniagnosis.crsr.net/2017/06/AFL-bug-in-quicksearch.... Possible? Yes. Too time-consuming and fiddly for the economic realities of 99.9% of all programmers? Yes, that too.
Comment linking /2017/06/AFL-bug-in-quicksearch.html
on “Undefined Behavior in 2017”Submitted Mad science, abstract data types, and objects as a story · 2 points
HN discussionIf you're interested, a while back I took a list at the "Consolidated Reference List" for the SWEBOK: "This is the first half of a none-too-serious annotated bibliography of the references that the IEEE Computer Society has identified as the most important sources for its Software Engineering Body of Knowledge (SWEBOK)." * http://maniagnosis.crsr.net/2011/11/consolidated-reference-l... * http://maniagnosis.crsr.net/…
Comment linking /2011/11/consolidated-reference-list-for.html
on “Online Learning: A Bachelor's Level Computer Science Program Curriculum”Submitted Parsing with Derivatives (2012) as a story · 1 points
HN discussion" 9. The user can access to its desired resource. " This one is fun. In step 1, the "service provider" auth/auth system freezes the original request and satisfies it in 9. I wrote a Java Servlet filter that performed this dance ( https://maniagnosis.crsr.net/p/web-authentication.html ) many years ago, which may be one of my few pieces of software still in use (although the guy who took it over may have rewritten it;…
Comment linking /p/web-authentication.html
on “Web Single Sign-On, the SAML 2.0 perspective”Submitted Quote O' the Week: It’s [Not] Faster Because It’s C (2010) as a story · 1 points
HN discussionLast year, Matthew Jockers, an English professor at the University of Nebraska-Lincoln, had a series of blog posts on the subject[1]---I haven't heard of any actual publications from the work---that was pretty interesting. I haven't read this paper yet (this post is falling off HN too fast!) but his technique was to use sentence-level sentiment analysis to get a time-varying signal, rub a Fourier transform against i…
Comment linking /2015/08/syuzhet-prodding-frequency-domain.html
on “The emotional arcs of stories are dominated by six basic shapes”Submitted On Complete Gibberish: Language syntax that [Tommy M. McGuire] doesn’t like as a story · 1 points
HN discussionThat was kind of my impression, from the discussion in Alexander Stepanov and Daniel Rose's From Mathematics to Generic Programming (which is a pretty decent book, by the way). My understanding[1] is that concepts act like a type system for templates and like typeclasses in Haskell and traits in Rust. [1] http://maniagnosis.crsr.net/2015/07/abstracted-algebra-in-ru...
Comment linking /2015/07/abstracted-algebra-in-rust.html
on “C++ concepts support merged into GCC trunk”Submitted Verifying Quicksort as a story · 1 points
HN discussion
