2851
PyPy v5.8 released
The PyPy team is proud to release both PyPy2.7 v5.8 (an interpreter supporting Python 2.7 syntax), and a beta-quality PyPy3.5 v5.8 (an inte...
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 5,636 posts.
2852
Async Rust in Three Parts
Async/await, or "async IO", is a new-ish Rust added async/await in 2019. For comparison, C# added it in 2012, Python in 2015, JS in 2017, and C++ in 2020. language feature that lets our programs do more than one thing at a time. It's sort of an alternative to multithreading, though Rust programs often use both…
2853
What Challenges and Trade-Offs Do Optimising Compilers Face?
After immersing oneself in a research area for several years, it’s easy to feel like the heir to a way of looking at the world that is criminally underrated: why don’t more people want what I want? This can be a useful motivation, but it can also lead to ignoring the changing context in which most research sits. So…
2854
2855
2856
Grokking Diesel, Rust's ORM
Diesel (http://diesel.rs) is an ORM (Object-relational mapper) and Query Builder written in Rust. It supports Postgresql, Mysql and SQLite…
2857
Symbolica 2.0: Programmable Symbols for Python and Rust
Technical articles and release notes about Symbolica, symbolic computation, numerical methods, and high-performance computer algebra.
2858
Implementing Forth in Go and C
I first ran into Forth about 20 years ago when reading a book about designing embedded hardware . The reason I got the book back then was to actually learn more about the HW aspects, so having skimmed the Forth chapter I just registered an "oh, this is neat" mental note and moved on with my life. Over the last two…
2859
The Next Big Step in Mojo Open Source
At Modular, open source is ingrained in our DNA. We firmly believe for Mojo to reach its full potential, it must be open source. We have been progressively open-sourcing more of Mojo and parts of the MAX platform, and today we’re thrilled to announce the release of the core modules from the Mojo standard library under…
2860
Reasoning with Types in Rust
Hi, I'm Ariel (she/her), a newly-minted member of the Swift team at Apple ! Previously, I helped lead the Luau team at Roblox where my efforts primarily focused on the design and implementation of Luau 's type system. I also led the creation of Lute to support using Luau both to build developer tooling, and as a…
2861
A Forth-inspired language for writing websites
I don't remember where the idea came from, but I decided that it would be cool if I could write websites using a stack-based language. Something like this: : h1 ( s -- ) "<h1>" emit . "</h1>" em…
2862
Code coverage for Go integration tests
Code coverage for integration tests, available in Go 1.20.
2863
Compiling a Lisp: Lambda lifting
first – previous
2864
Rust's Ugly Syntax (2023)
People complain about Rust syntax. I think that most of the time when people think they have an issue with Rust's syntax, they actually object to Rust's semantics. In this slightly whimsical post, I'll try to disentangle the two.
2865
Almost Always Unsigned
Almost Always Unsigned # Written by Dale Weiler Twitter GitHub Last updated Saturday, January 1, 2022 The need for signed integer arithmetic is often misplaced as most integers never represent negative values within a program. The indexing of arrays and iteration count of a loop reflects this concept as well. There…
2866
2867
Why Perl?
I sometimes get asked why I use Perl so much. Am I not a fan of strongly typed functional programming? Yeah, I am. Ask me to write something that is known, for sure , to become a big system and I’ll pick strongly typed functional programming without hesitation. 1 1 And, of course, put me in a team that uses Blub, and…
2868
JetBrains Fleet drops support for Kotlin Multiplatform
A couple of years ago, we initiated the idea of creating a Kotlin Multiplatform IDE to help facilitate the development of KMP applications. We embarked on this venture, building on the Fleet platform,
2869
A years-long Turkish alphabet bug in the Kotlin compiler
Logic vs language: how a Turkish alphabet bug played a years-long game of hide-and-seek inside the Kotlin compiler
2870
Sun, Oracle, Android, Google, Mozilla and JDK Copyleft FUD
I have probably spent more time dealing with the implications and real-world scenarios of copyleft in the embedded device space than anyone. I'm one of a very few people charged with the task of enforcing the GPL for Linux, and it's been well-known for a decade that GPL violations on Linux occur most often in embedded…
2871
Can functional programming be liberated from the von Neumann paradigm? (2010)
Inspirations & experiments, mainly about denotative/functional programming in Haskell
2872
Fun with Go Iterators
Go 1.23 added Iterators, so lets build a js like streaming api
2873
2874
2875
SBCL: the ultimate assembly code breadboard (2014)
Paul Khuong's personal blog. Some Lisp, some optimisation, mathematical or computer.
2876
Julia's multiple dispatch explained with Pokemons
T hese days, I find myself evangelizing for Julia quite a bit. It’s a good language, especially for scientific computing, but I believe its focus on performance also makes it a good general language as well. At some level, programmers who know multiple languages have an abstract understanding of the constructs used…
2877
Reading Simple Haskell
-> is right associative, The function definitions from the previous slide will be parsed like this:
2878
Never patterns, exhaustive matching, and uninhabited types in Rust
One of the long-standing issues that we’ve been wrestling with in Rust is how to integrate the concept of an “uninhabited type” – that is, a type which has no values at all. Uninhabited types are useful to represent the “result” of some computation you know will never execute – for example, if you have to define an…
2879
Static Type Checking in Common Lisp
There is a misconception that Lisp is a dynamically typed language and doesn’t offer compile-time type checking. Lisp being the…
2880
General Availability of the AWS SDK for Rust
We’re excited to announce that the AWS SDK for Rust is now generally available and supported for production use. The AWS SDK for Rust provides an idiomatic, type-safe API, along with the benefits of the Rust language such as performance, reliability, and productivity. The SDK supports modern Rust language features…