4291
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 7,294 posts.
4292
Paxos automatically determined safe and secure
In an important step toward ensuring the protocols that dictate how our networked services operate are safe, secure and running as expected, University of Michigan researchers have automated a technique called formal verification. Their system proves, without any human effort, that one of the mos
4293
Curl audit: How a joke led to significant findings
In fall 2022, Trail of Bits audited cURL, a widely-used command-line utility that transfers data between a server and supports various protocols. The project coincided with a Trail of Bits maker week, which meant that we had more manpower than we usually do, allowing us to take a nonstandard approach to the […]
4294
Making ASP.NET apps first-class citizens on Google Cloud Platform
Google Cloud Platform is known for many things: big data, machine learning and the global infrastructure that powers Google. What you might not know is how well we support applications built on ASP.NET, the open-source web application framework developed by Microsoft. Let’s change that right now.
4295
4296
The M×N problem of tool calling and open-source models
Tool calling with closed-source models is seamless. You pass a list of functions to the API, the model calls them, you get structured JSON back.
4297
Emitting Safer Rust with C2Rust
In this post, we will discuss recent results from Immunant and Galois in extending C2Rust to emit memory-safe Rust in certain cases. With this work we aim to shift a meaningful part of the translation burden from the human to the machine. Up until now, C2Rust has only been able to translate C to unsafe Rust that is no…
4298
Differentiable Programming – A Simple Introduction
What is Differentiable Programming, and how is it different from Deep Learning? Check out this introduction to learn everything you need to know!
4299
Making Win32 APIs More Accessible to More Languages
Introduction Win32 APIs provide powerful functionality that let you get the most out of Windows in your applications. While these APIs are readily accessible to C and C++ developers, other languages like C# and Rust require wrappers or bindi
4300
4301
TwilioQuest, a new way to learn Twilio
TwilioQuest is a fun, self-directed way to quickly learn how to use Twilio. The game teaches our cloud communications APIs while rewarding loot and XP.
4302
Apollo Server 1.0 – GraphQL Server for Node.js Frameworks
Today, after more than a year of development, testing and production use, we’re proud to announce the 1.0 release of Apollo Server ! 🎉
4303
How we made Jupyter notebooks load faster
When we received feedback our Notebooks UI was taking too long too load, our engineers dove into ways to improve the developer experience — bringing some load times from 30 seconds down to less than one.
4304
Announcing Pyston: an upcoming, JIT-based Python implementation
Dash knows your context, your team, and your work, so your team can stay organized, easily find and share knowledge, and keep projects secure, all from one place.
4305
4306
4307
Channels adopted as an official Django project
Posted by Andrew Godwin on Sept. 9, 2016
4308
ChesSMS: Using Unicode to play Chess over SMS
Twilio posts cloud communications trends, customer stories, and tips for building scalable voice and SMS applications with Twilio's APIs.
4309
Realtime image processing in Python
Image processing is notoriously a CPU intensive task. To do it in realtime, you need to implement your algorithm in a fast language, hence ...
4310
Racket v9.1
_posted by Stephen De Gabrielle and John Clements_ We are pleased to announce Racket v9.1 is now available from https://download.racket-lang.org/. As of this release:: Documentation organization and navigation can be specialized by language family, to...
4311
4312
4313
Why you might want to choose Ceylon
The Eclipse Ceylon™ project encompasses development of the language itself (the language specification), the compiler frontend (typechecker), the compiler backends for Java and JavaScript
4314
4315
4316
4317
Bjarne Stroustrup: “I Did It for You All” (2007)
On the 1st of January, 1998, Bjarne Stroustrup gave an interview to the IEEE’s ‘Computer’ magazine..
4318
PHP 7.1.0 Released
PHP is a popular general-purpose scripting language that powers everything from your blog to the most popular websites in the world.
4319
PipeWire: Bluetooth Support Status Update
Over the last two years, Bluetooth® audio support has steadily grown in PipeWire. Here's a look at where things stand.
4320
