Reserved Word

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 - formal-land/coq-of-rust

A new version of Go has arrived! Just six months after the release of Go 1.23, we now have Go 1.24, packed with exciting updates. The new version introduces just one language extension but brings…

Article URL: https://jaredsinclair.com/2024/11/12/beware-unchecked.html Comments URL: https://news.ycombinator.com/item?id=42280235 Points: 1 # Comments: 0

Graph-based type-checking is a new F# compiler flag that allows the compiler to type-check files in a project in parallel whenever possible.

A guide to adding Rust to a Java codebase with JNI and the rust-maven-plugin.

The Elratio programming language. Contribute to LiamSwayne/Elratio development by creating an account on GitHub.

perfect programming language. Contribute to TodePond/WhenWillProgrammersStopMakingDecisionsForOurSocietyAndJustLeaveUsAloneAlsoHackerNewsIsAVileWebsite development by creating an account on GitHub.

Implementing concurrent programs in Go using goroutines, channels, and WaitGroups

Article URL: https://csound.com/get-started.html#your-first-synthesiser Comments URL: https://news.ycombinator.com/item?id=37357928 Points: 1 # Comments: 0

This is a rough strawman I put together after various discussions I had during GUADEC 2023 on the future of the GObject type system, introspection, language bindings, and the GNOME application development platform. It's honestly a lot, and it probably looks more like word vomit than an actual proposal; but I think it can be used as a springboard for discussions towards a new direction for the lowest levels of the…

I thought Lisp was suppose to be simple in that: it's all just lists.I thought everything would just be s-expressions, and be consistent, so it would be easy to read to figure out what is going on.But it seems like there are so many special constructs and macros, that make it hard to read. And behind the scenes of these macros it gets really complicated. Whereas in other languages its readable the whole way…

As other languages, Elixir comes with an application configuration system used to statically configure applications at compile-time and runtime. The system consists of the Config module and various scripts in the config/ directory interpreted by the Mix compiler. Phoenix adds a conventional structure on top, pre-populating configuration files and organizing them by Mix environment.

Article URL: https://sqlite.org/different.html Comments URL: https://news.ycombinator.com/item?id=37104447 Points: 1 # Comments: 1

Owen's personal website and portfolio

The measure of a modern software engineer in our attention economy is easily calculable thanks to companies like Microsoft acting both as bastion and companion in demonstrating one's prowess.

The next version of the C standard (C23) brings two new features that I am not enthusiastic about. One of them is the nullptr constant, the other one is the "new" auto keyword1. I will try to explain why I don't like it. The new proposed auto keyword will work basically like in C++. You will for example be able to write: auto x = 10; auto ret = function(); Instead of:

Article URL: https://www.oilshell.org/blog/2023/08/release-0.17.0.html Comments URL: https://news.ycombinator.com/item?id=36977696 Points: 1 # Comments: 0

.NET 8 Preview 6 adds three new features for C# 12: interceptors, inline arrays, and enhancements to the nameof expression.

Introduction Python context managers provide a convenient and reliable way to manage resources and ensure proper setup and teardown actions. Whether dealing with file operations, database connections, or any resource that needs to be acquired and released, context managers offer a clean and concise approach. This comprehensive blog post will explore the concept of context managers in Python, starting from the…

A minimalist single-header library for building pattern-matchers, lexers, and parsers. - GitHub - aappleby/Matcheroni: A minimalist single-header library for building pattern-matchers, lexers, and ...