Top all-time · #7856
Higher Logics
Personal blog · higherlogics.blogspot.comprogramming
Higher Logics is a personal blog at higherlogics.blogspot.com about programming. Since 2008, 10 different Hacker News readers have linked it 22 times, most often “Embedded Stack Language for .NET”. The last post was in 2022, but the archive is still widely read.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
Posts on designing a stackless coroutine in C that keeps local variables, and on an asynchronous library built on it. The one comment discusses the design's missing executor, not the writing.
Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- Embedded Stack Language for .NET2 people · 2 mentions · first linked 2008-11-11
- Async.h – asynchronous, stackless subroutines in C2 people · 2 mentions · first linked 2019-09-21
- Dual/Codual Numbers for Forward/Reverse Automatic Differentiation2 people · 2 mentions · first linked 2020-05-29
What Hacker News says?
There's sort of a middle ground between event sourcing and ordinary mutable entities: versioned entities. http://higherlogics.blogspot.com/2015/10/versioning-domain-e... The particular schema described there isn't suitable for highly concurrent entities, but a more suitable schema could be employed that achieves the same goals.
Comment linking /2015/10/versioning-domain-entities.html
on “Event Sourcing is Hard”Submitted Async.h – asynchronous, stackless subroutines in C as a story · 146 points
HN discussion> Don’t underestimate erasure. Theories for free is a useful thing. Indeed, phantom types are wildly underappreciated. Long ago, I created an library [1] that ensures the type safety of any runtime generated programs you create using it. It does this by typing the various stacks that are in play at any given time, but every new generic type on the CLR ends up creating new type descriptors in global data structures (…
Comment linking /2008/11/embedded-stack-language-for-net.html
on “Memory usage of a toy C# server and client with 500K concurrent connections on”Submitted Dual/Codual Numbers for Forward/Reverse Automatic Differentiation as a story · 4 points
HN discussion> Of the 3 assertions in the abstract, the obviously false one is #2: "Any posthuman civilization is extremely unlikely to run a significant number of simulations of their evolutionary history". When you realize that running a simulation of the universe requires more processing power than is available in the universe, this is very obviously false. I think you've expressed a number of confusions. First, I think you c…
Comment linking /2021/02/why-we-are-likely-not-living-in.html
on “How Bell’s Theorem proved ‘spooky action at a distance’ is real”Submitted Sasa v0.9.3 Released (Extensions to the .NET framework) as a story · 4 points
HN discussionI've done them in C# with slightly less safety. https://higherlogics.blogspot.com/search/label/tagless%20int... The style of the construction is what matters most. If you're using JS then you're already giving up types, but the higher order abstract syntax is what lets you embed and play with language semantics.
Comment linking /search/label/tagless%20interpreters?m=1
on “Roll A Lisp In C – Reading (2020)”Submitted Factoring Out Common Patterns in Libraries as a story · 3 points
HN discussionThe author should take a look at async.h[0], which is extremely simple. I don't think you need a scheduler, but you do need what Rust calls an "executor", which is a library of I/O functions and an event loop. [0] https://github.com/naasking/async.h https://higherlogics.blogspot.com/2019/09/asynch-asynchronou...
Comment linking /2019/09/asynch-asynchronous-stackless.html
on “A More Natural Stackless Coroutine in C That Maintains Local Variables”Submitted Easy Automatic Differentiation in C# as a story · 2 points
HN discussion> This really isn't the same. If you're just building up objects/data structures in your host language, and calling functions/methods on them, then you're not creating a language. It doesn't matter how slick/fluent or whatever else your API is, you're just working in the host language. It can be. They're called EDSLs, "embedded domain specific languages". The point is to embed the language semantics in the host lang…
Comment linking /2015/02/kanrennet-featherweight-relational.html
on “Why most of us won't be inventing little languages”Submitted async.h – asynchronous, stackless subroutines in C as a story · 2 points
HN discussionRather than generic blobs, you can easily integrate versioning directly in your entity tables with only two extra fields: https://higherlogics.blogspot.com/2015/10/versioning-domain-... With this schema, you simply add an extra clause to each of your queries and they can simultaneously return the latest version or any past version.
Comment linking /2015/10/versioning-domain-entities.html?m=1
on “Versioning data in Postgres? Testing a Git like approach”Submitted Serialized continuations stored in the browser as a story · 2 points
HN discussionSubmitted Dual/Codual Numbers for Forward/Reverse Automatic Differentiation as a story · 1 points
HN discussionSubmitted Easy Reverse Mode Automatic Differentiation in C# as a story · 1 points
HN discussionSubmitted Extensible, Statically Typed Pratt Parser in C# as a story · 1 points
HN discussionSubmitted Embedded Stack Language for .NET as a story · 1 points
HN discussionSubmitted Garbage Collection Data Representations as a story · 1 points
HN discussion
