Today

[2025-08-24 Sun]

• A CLI zotero-like tool someone made: https://github.com/cgxeiji/scholar
• An emacs org-based setup for reference management: https://ogbe.net/emacs/references

[2025-08-20 Wed]

• eBP and stuff: https://github.com/multikernel/kernelscript
• On the potential of Coq as the Platform of Choice for Hardware Design
  • Use of Coq and Kôika to design hardware
  • https://coq-workshop.gitlab.io/2024/files/EA4.pdf
• obelisk and Reflex-FRP
  • Relies on nix
  • Can be used to produce android app and website from same haskell source
  • https://github.com/obsidiansystems/obelisk
  • https://reflex-frp.org/get-started#getting-started
  • Blog posts
    • https://srid.ca/obelisk-tutorial
    • https://cah6.github.io/technology/nix-haskell-3/
    • https://jeancharles.quillet.org/posts/2023-11-07-Writing-an-Android-app-in-Haskell.html
    • https://qfpl.io/projects/reflex/

[2025-04-27 Sun]

• MCP server
  • Kind of like an interface to interact with AI models
  • https://github.com/modelcontextprotocol/servers

[2025-04-21 Mon]

• Video from AMD on using non-project non-GUI flow for Vivado: https://www.xilinx.com/video/hardware/using-the-non-project-batch-flow.html

[2025-04-12 Sat]

• Writing a RISC-V emulator in Rust: A tutorial currently being built
  • https://book.rvemu.app/

[2025-03-14 Fri]

• Let's build GPT: from scratch, in code, spelled out - Andrej Karpathy
  • https://www.youtube.com/watch?v=kCc8FmEb1nY

[2025-02-22 Sat]

• Smith chart: Used for design/analysis of microwave circuits in electrical engineering
  • https://en.wikipedia.org/wiki/Smith_chart

[2025-02-21 Fri]

• Swarm: A game written in haskell
  • Procedurally generated ??
  • https://github.com/swarm-game/swarm/tree/main

[2025-02-05 Wed]

• It is awkward to implement linked list in rust. Trees are okay though.
  • https://rust-unofficial.github.io/too-many-lists/

• Anti-aliasing in graphics is adding fainter pixles to make the rendered output look smoother.
• FORTRAN 77 programs needs a fixed number of blank spaces in the beginning
  • This is because earlier, F77 programs used to be written in punch cards.
  • The space is for the 'holder' of the punch card
  • http://web.stanford.edu/class/me200c/tutorial_77/03_basics.html
• Punch cards first found wide usage in automated looms.
• JavaScript apparently doesn't have a Integer type. Only Number.
  • Number is 64-bit floats
  • https://stackoverflow.com/questions/33773296/is-there-or-isnt-there-an-integer-type-in-javascript
  • Since floating point arithmetic has imprecision, I suppose one can expect surprises here.
  • Number.isInteger() exists though.
  • BigNum does exist, but that is meant to be used only for large integers.

[2025-02-04 Tue]

• The LLM deepseek is open source (said to rival chatgpt)
  • https://github.com/deepseek-ai/DeepSeek-V3

[2025-01-24 Fri]

• Expression problem in PL: https://homepages.inf.ed.ac.uk/wadler/papers/expression/expression.txt
• https://en.wikipedia.org/wiki/FOSD_program_cubes#Applications
• A comparison of agda and coq: https://hustmphrrr.github.io/blog/2019/agda-vs-coq.html

[2025-01-09 Thu]

• reanimate: A haskell library similar to python's manim to create animations useful to present math concepts.
• Someone had a stab at an AOC'2020 problem using group theory and haskell: https://blog.jle.im/entry/shuffling-things-up.html
• TTL based 4-bit CPU
  • https://hackaday.io/project/8442-ttl-based-4-bit-cpu
  • https://hackaday.io/project/26215-td4-cpu
  • https://www.philipzucker.com/td4-4bit-cpu/
• Building an indie 4004 processor: http://www.4004.com/
• SAT-solver concepts with python examples: https://www.philipzucker.com/python_sat/

[2024-12-27 Fri]

• June Huhˡ: Fields medal 2022 winner
  • Found relation between algebraic geometry and combinatronics.
  • Was once mentored by Heisuke Hironakaˡ, who had won Fields medal 1970

[2024-12-02 Mon]

• Escher fish programs of Peter Henderson
  • https://mapio.github.io/programming-with-escher/

[2024-11-29 Fri]

• There is now an NPTEL course on category theory!: https://nptel.ac.in/courses/111104524

[2024-11-21 Thu]

• Compiling lambda calculus (UTLC) to LLVM: https://compiler.club/compiling-lambda-calculus/

[2024-11-04 Mon]

• McCarthy 91 function ˡ

[2024-09-23 Mon]

• Hype for types: A student-run course at CMU about type theory

[2024-06-27 Thu]

• An interesting, funny survey of mathematicians: link

[2024-04-29 Mon]

• A functional esosteric programming language?: https://en.wikipedia.org/wiki/Unlambda
  • Based on combinatory logic
  • No variables
  • s, k and ` (application)

[2024-04-28 Sun]

• Looks like a rust edsl as HDL: https://github.com/kaist-cp/shakeflow

[2024-04-11 Thu]

• Lukasiewicz logicˡ: A 3-valued modal logic

[2024-03-11 Mon]

• cc hack: Brian Kernighan shows how a compiler can inject backdoors to allow root logins (1984?) ˡ
• Major systemˡ: a way to remember numbers by thinking of them as words corresponding to sounds.

[2024-02-22 Thu]

• Disagreement between Hilbert and Brouwer ˡ
• GeoCoq: An attempt to formalize (Euclidean?) geometry in Coq
• hack: 'PHP with types'. Made at facebook/meta ˡ
  • HHVM: HipHop Virtual Machine
  • Written mostly in OCaml (also uses js_of_ocaml??)
  • https://github.com/facebook/hhvm/tree/master/hphp/hack

[2024-02-16 Fri]

• Importance of formal verification: A blog post at Formal Land

[2024-02-15 Thu]

• A tiny introduction to lens (Haskell library) as a tutorial: link

[2023-11-01 Wed]

• More fixpoints! (Functional pearl): https://dl.acm.org/doi/10.1145/3607853
  • https://github.com/nomeata/haskell-rec-def
• About a way of removing left-recursion in grammars: https://www.joachim-breitner.de/blog/807-Left_recursive_parser_combinators_via_sharing

[2023-10-27 Fri]

• https://research.swtch.com/nih
• Delimited continuations
  • Returns a value and hence can be reused, unlike the 'usual' continuations

[2023-10-14 Sat]

• The stacks project: An online collaborative textbook about algebraic geometry
• Bloom filter
• Kansas Lava: An implementatation Lava, the Haskell eDSL for hardware design
• Dancing links: Data structure?

[2023-10-09 Mon]

• Default logicˡ

[2023-10-03 Tue]

• SECD machineˡ: An abstract machine specifically intended to evaluate lambda calculus expressions

[2023-09-28 Thu]

• Etymology of the 'liquid' in liquid types (as in Liquid haskell) is 'Logically Qualified'
  • From PLDI'08 ˡ
  • Original implementation seems to have been in OCaml.