2371
Baby's first WASM compiler
( This is part of a series on the design of zest . See the list of posts here .)
Topics /
Programming Languages
The most popular blog posts about programming languages on Hacker News. 3,709 posts.
2372
2373
TypedDicts are better than you think
TypedDict was introduced in PEP-589 which landed in Python 3.8. The primary use case was to create type annotations for dictionaries. For example,...
2374
Golang: Know Your 'Nil'
In Golang, nil is an interesting value. You may be familiar with Go’s philosophy of making the “zero value” meaningful.
2375
The upcoming iterator design for Go 1.23
NOTE: This is based on, but completely rewritten, from a Twitter post:https://x.com/TheGingerBill/status/1802645945642799423TL;DR: It makes Go feel too "functional" rather than being an unabashed imperative language.I recently saw a post on Twitter showing the upcoming Go iterator design for Go 1.23 (August 2024)…
2376
2377
What I love about Django
The best parts of Django are the ones you stop noticing — a tour of the abstractions that have given Buttondown the most leverage over the years.
2378
Metaclasses: Thoughts on generative C++
I’ve been working on an experimental new C++ language feature tentatively called “metaclasses” that aims to make C++ programming both more powerful and simpler. You can find out about it here: Curr…
2379
Arenas in Rust
At one level, this question is not very fair, because an answer to it as stated would be that one simply does not use doubly linked lists. They have been popular in introductory computer science lectures because they are a neat way to explain pointers in a data structure that's easy to draw on a whiteboard, but they…
2380
Be careful with Go struct embedding
The gophers nested too greedily and too deep.
2381
Teenage Haskell
I’ve been inspired by the efforts of others (Chris Smith, Manuel Chakravarty) to try teaching children haskell as a first experience of programming. Haskell has a reputation of being a "…
2382
2383
Rust async-await status report 2
I wanted to give an update on the status of the “async-await foundations” working group. This post aims to cover three things:
2384
Swift Resistance
I feel like every time I sit down to actually start using Swift, I'm constantly battling with the language. My latest challenge: creating a backing buffer of pixel data that will be rendered t…
2385
Writing Linux Modules in Ada (2016)
In the following series of blog posts I will document my attempts to write Linux modules using the Ada language. In part 1, I will demonstrate how to write in Ada and build a simple "hello world" Linux kernel module. Additionally, I will introduce a basic customized Ada runtime to support our "hello world" module…
2386
How (Not?) to Use Python’s List Comprehensions
Lesser known is that you can have nested list comprehensions, that handle nested for loops:
2387
Singleton Pattern in Go
The Go Language growth has been phenomenal in the last few years, and is attracting language converts from all walks of life. There has been a lot articles recently about companies switching from Ruby, and experiencing the new world of Go and it’s parallel and concurrent approach to problems.
2388
Array Languages: R vs. APL (2023)
I’ve been learning at least one new programming language a month through Exercism which has been really fun and interesting. I frequently say that “every language you learn teaches you something about all the others you know” and with nearly a dozen under my belt so far I’m starting to worry about the combinatorics of…
2389
Interfaces and Protocols in Python
Comparing zope.interface and typing.Protocol.
2390
How to choose the right Python concurrency API
In this tutorial, you will discover a helpful step-by-step procedure and helpful questions to guide you to the most appropriate concurrency API.
2391
Formalizing CPython
AI agents wrote 613,318 lines of Lean that copy Python's internals, tested every piece against real Python, and turned up 418 bug reports along the way.
2392
2393
Why Typing Erlang is Hard: Standard Erlang
Leo Ostera — making computers do things
2394
Say Hello to X64 Assembly Part 3
Stack Some time ago i started to write a series of posts about assembly x64 programming. It is third part and it will be about stack. The...
2395
Hacking the Go compiler to add a new keyword
I forked and modified Go compiler to add a new keyword called let, as alias for var
2396
The Ruliology of Lambdas
Stephen Wolfram explains the rich ruliology of lambdas, made particularly significant by their connection to practical computing. Covers basic computations to undecidability to multiway graphs and evaluation strategies.
2397
Using C++ as a scripting language, part 8
Improving API function calls using inline assembly
2398
Typed, modular macros for OCaml
As part of my OCaml Labs research project, I implemented a new macro system for OCaml, based on a design by Leo White and Jeremy Yallop [1] .
2399
2400
Metaprogramming for madmen
This post is part of the series “Debris: Opening the box”. Okay, previous posts from this series aimed to actually convey useful technical information: assuming you actually want to wri…