tenslisi
Dependent Type Checker in Python
Tiny GraphRAG
Synthetic Reasoning from Knowledge Graphs
Synthetic Cot Reasoning Trace Generation from Knowledge Graphs
Right-Clicker-Mentality
The Non-Innovation of Cryptocurrency
Crypto exchange Binance temporarily suspends payments from EU's Sepa network
Binance customers locked out of sterling withdrawals and deposits
Exposing Tether [video]
The Oncoming Ransomware Storm
The Haskell Elephant in the Room
A primer on the cruel, tacit laws of type-level programming in Haskell
Facebook Groups Are Destroying America
Facebook Novi and Surveillance Finance
Rewrite Combinators in Haskell [pdf]
Let's Write an LLVM Specializer for Python
Re:Write You a Haskell: Building a modern functional compiler from fir...
on Monday January 05, 2015 @09:12AM (#8838821)
It looks like the author of this (Stephen Diehl) is looking for a job in Boston. Maybe HN can help him out?
Write You a Haskell: Building a modern functional compiler from first principles
Cubes: A Pluggable Data Warehouse for Python
What is type safety?
What Python can learn from Haskell [slides]
Web Applications that Scale Forever and Upgrade Seamlessly [video]
Re:What I Wish I Knew When Learning Haskell
on Tuesday June 17, 2014 @11:57AM (#7905155)
It appears to be twice as long as the old 2.0 version, and a lot of the latest GHC 7.8 topics which wasn't released before the last version.
What I Wish I Knew When Learning Haskell
How Haskell is Changing my Brain
Re:What I Wish I Knew When Learning Haskell 2.0
on Wednesday April 23, 2014 @07:01PM (#7637477)
There's also a very detailed tutorial on writing a toy compiler with Haskell and LLVM on this site:
What I Wish I Knew When Learning Haskell 2.0
Re:Optimising Haskell for a tight inner loop
on Wednesday January 08, 2014 @07:09PM (#7027833)
> The moment you start trying to compete against hand written assembly, any high level lang gets a bit quirky.
Yes, which is why I wonder why GHC went with it's own code generator instead of using LLVM? It seems like a lot of the outputted assembly would be coalesced with LLVM's optimizer passes. Is there work on this problem within the Haskell world?