1051
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 7,294 posts.
1052
Deno v1.8 – support for WebGPU, private modules, Intl, and much more
Deno 1.8 adds experimental support for the WebGPU API, adds support for importing private modules, stabilizes import maps, revamps coverage tooling, adds ICU to provide internationalization out of the box, and a whole lot more.
1053
Introduction to Datalog
A rule-based data query language that thinks differently
1054
Stack Graphs
Precise code navigation is powered by stack graphs, a new open source framework that lets you define the name binding rules for a programming language.
1055
Reason 3
Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.
1056
Code Health: Respectful Reviews == Useful Reviews
This is another post in our Code Health series. A version of this post originally appeared in Google bathrooms worldwide as a Google Testin...
1057
1058
</> Htmx – The Fetch()ening
You know, technically, I never said anything about a version *four*
1059
Introducing .NET Standard
Questions? Check out the .NET Standard FAQ. You can find the latest version of the compatibility matrix here. In my last post, I talked about how we want to make porting to .NET Core easier. In this post, I’ll focus on how we’re making this plan a reality with .NET Standard. We’ll cover which APIs we […]
1060
Best of show – abuse of libc
printf machine. 2020 IOCCC entry carlini - Best of Show - abuse of libc
1061
Half a million lines of Go
By Kevin Dangoor Back in December 2019, I first wrote about Goliath, Khan Academy’s project to migrate our ... Read more
1062
1063
Scaling Mercurial at Facebook
Visit the post for more.
1064
1065
Emacs: The most successful malleable system
Emacs is probably the most successful malleable system in the history of computing. What can we learn from it for designing the malleable systems of the future?
1066
Deploys at Slack
Deploys require a careful balance of speed and reliability. At Slack, we value quick iteration, fast feedback loops, and responsiveness to customer feedback. We also have hundreds of engineers who are trying to be as productive as possible. Keeping to these values while growing as a company means continual refinement…
1067
Rearchitecting: Redis to SQLite
Learn how we approached migrating our Wafris v1 client based on Redis to a new faster, easier to use SQLite architecture.
1068
Announcing Project Zero
Posted by Chris Evans, Researcher Herder Security is a top priority for Google. We've invested a lot in making our products secure, incl...
1069
Becoming a Better Software Developer: A Handbook on Personal Performance
Explore Appfire's Blog for everything from ITSM and Workflow and Automation to System Administration, Software Development, and DevOps.
1070
1071
Algorithms on Khan Academy – a collaboration with Dartmouth College professors
What is an algorithm ? It’s a sequence of steps that you follow to solve a problem. In everyday life, you might have an algorithm for hangin...
1072
1073
1074
Bun v0.8
Bun gets debugger support, fetch streaming, and `bun update`. ReadStream and WriteStream from `node:tty` are implemented, including raw mode on `process.stdin`. SvelteKit now works in Bun. Plus bug fixes and stability improvements.
1075
Twenty Eighth International Obfuscated C Code Contest
IOCCC Year 2024
1076
1077
Django 1.4 final released
Posted by James Bennett on March 23, 2012
1078
1079
1080
Translation of Rust's core and alloc crates to Coq for formal verification
We continue our work on formal verification of Rust programs with our tool coq-of-rust, to translate Rust code to the formal proof system Coq. One of the limitation we had was the handling of primitive constructs from the standard library of Rust, like Option::unwrapordefault or all other primitive functions. For each…