Issue 34: We All Start As Strangers
If you got a chance, take it!
A formally verified R-tree implementation
Bugs are ubiquitous in computer programming. Widely applied solutions exist to verify certain properties like memory or type safety. On the other hand, most programming languages only offer very rudimentary tools to enforce logical properties.
Bringing QGIS maps into Jupyter notebooks
Earlier this year, we explored how to use PyQGIS in Juypter notebooks to run QGIS Processing tools from a notebook and visualize the Processing results using GeoPandas plots. Today, we’ll go …
Read the docs like a book - Aaron Francis
Reading the docs straight through, like a book, can provide outsized benefits for your career.
The top WordPress plugins are… a little sad?
This is a little negative-nancy-ish, so if you aren’t feeling that right now — just close this tab 😜. It struck me recently how this list of plugins I saw in the 2023 Annual WordPress…
You should track your finances in TOML
The personal website of Knut Magnus Aasrud
Frameworks Cover Up Skill Issues, And That's a Good Thing | jakelazaroff.com
The world is poorer when friable foundations lead to crumbling creations. But it is poorer still when we are so concerned with the foundations that we never create at all.
Test Stream - From Redmond
Fritz is running a test
Happiness is not a scroll away
When you open your browser, you usually have a legitimate interest. What’s the weather like tomorrow? How long is the flight? How do you write “definitively”? All valid questions, and the Internet provides. But then, you jump to another type of content. This s…
Date Line
Yusuf Aytas - The Path to Leadership
Yusuf Aytas - Leadership - The Path to Leadership
All Different Variants
In the earlier posts I’ve described some of the basic ideas behind CSPs: how the problems are represented using variables and constraints, how the solver searches for a solution by building up the search tree, how heuristics guide the search, and how constrain…
Uber – Stronger Than Ever
As the post’s title may already have given it away, yes, I am going to talk about how Uber is in the best shape it has ever been. From hated and distracted to repaired and focused It was just…
At the Intersection of LLMs and Kernels
Relational databases like postgreSQLand operating system kernels like Linuxare foundational building blocks for computing systems.Every “application” is in e...
musings - craig.banach.dev
Craig Banach - Personal Site
Trip report: Autumn ISO C++ standards meeting (Kona, HI, USA)
Today, the ISO C++ committee completed its second meeting of C++26, held in Kona, HI, USA. Our hosts, Standard C++ Foundation and WorldQuant, arranged for high-quality facilities for our six-day me…
Cancellation and Async State Machines
If you've been doing async for a while, you've probably heard someone say something like "the compiler takes an async function and converts it to a state m…
David Mayilian | The Missing Pirate Manual
A beautiful, simple, clean, and responsive Jekyll theme for academics
The Solution Space
In late 2023, I still don’t think we’ve seen the peak of AI-mania. It will likely come at some point soon when more data reveals realized ROI from enterprise SaaS companies integrating the first wave of generative-AI experiences into their existing products. I…
Metaprogramming and self-interpretation of lambda calculus
With inspiration from John Tromp’s 232 bit lambda calculus self interpreter I created a universal machine for a homoiconic meta encoding based on the Mogensen-Scott encoding and Church-encoded De Bruijn indices.
Building an occupancy sensor with an ESP32 and a serverless DB
How I built an occupancy sensor with an ESP32C3, Cloudflare Workers/D1, and Grafana
Your database skills are not 'good to have'
And a hateful ode to Object-Relational Mappers
Database monolith - Quesma
At Quesma we help customers to innovate faster by re-shaping the way applications are built and connected to their DBs. Quesma database gateway enables development teams to modernise and evolve application architecture.
dtSearch Enhances ASP.NET Core Functionality -- Visual Studio Magazine
Enterprise search specialist dtSearch enhanced ASP.NET Core functionality in the latest update to its flagship product.
How one line of code caused a $60 million loss
60,000 people lost full phone service, half of AT&T's network was down, and 500 airline flights were delayed
HTML Web Components
Writing about the big beautiful mess that is making things for the world wide web.
🧑💻The Great .NET 8 Hack #dotnet #dotnetdeveloper
Are you ready to unleash your creativity and coding skills with .NET 8? Join us for The Great .NET 8 Hack, a virtual hackathon to learn how to build cloud na...
Creating Empty State for you .NET MAUI Apps
An essential aspect of user experience is the ability to anticipate and address potential issues effectively. Consider a scenario where a user loses their Internet connection while using your app. Without proper notification, this can lead to confusion and adv…
Ruby on Rails: The Documentary
Ruby on Rails has one of the most faithful communities online, it also has one of the most controversial, rabble-rousing creators out there, Danish programme...
Felix' Blog - GitHub Actions are a Problem
A blog, mostly about programming
Vendor Lock-in in the cloud age
It's been a while since my last blog post. (Even longer, since I wrote this blog post months ago!) Real life got in the way, and I have been 100% focused outside of my personal channels. So, for the past month, everything Basement Programmer-related ...
What is the difference between UuidToString, StringFromCLSID, StringFromIID, and StringFromGUID2? - The Old New Thing
Different ways of stringizing a GUID.
Measuring Code Performance The Right Way | Code Cop #008
Use code EF20 and get 20% off the brand new "Entity Framework Core in .NET" course on Dometrain: https://dometrain.com/course/from-zero-to-hero-entity-framew...
How to Build An ASP.NET Core Web API: A Practical Beginner’s Tutorial
Learn how to build an ASP.NET core web API! This tutorial for beginners will guide you through setting up the project to building the API endpoints.
Removing allocations by reducing closure scopes using local variables - Gérald Barré
In this post, I describe how to avoid allocations when using closures by scoping captured variables. It provides examples and demonstrates the compiler's code transformation.
Top 10 highest paid programming languages in 2023
Discover the highest paying programming languages of 2023, including Scala, Python, Solidity and more. See salaries peaking at $750K in our detailed top 10 list
Blazor’s History and Full-stack Web UI
Blazor is a web framework that allows developers to build interactive web applications using .NET instead of JavaScript. The first version…
How to Implement the Result Pattern with the ErrorOr Library
Hi there! Today we are going to see how to implement the result pattern with the library One OfHow to Implement the Result Pattern with a very nice library c...
Building an iterator in Swift
Patrik Svensson's blog
Stop deploying web application firewalls
Mac's Tech Blog
Fast and Portable Llama2 Inference on the Heterogeneous Edge
Fast and Portable Llama2 Inference on the Heterogeneous Edge.
The Evolution of C# - Coding Sonata
C# today is the result of an amazing and massive work over the past 2 decades. Check this article to learn about the evolution of C#
The diminishing half-life of knowledge
Ever been in a situation where you landed a software engineering job with a particular tech stack, mastered it, switched to another company with a different stack, nailed that too, and then found yourself in a third company that used the original stack? Now, y…
384: iPhone Widgets On Your Mac Desktop
This week we take a look at a macOS Sonoma feature that allows you to put widgets on your desktop AND bring your iPhone widgets over. We talk about the feature and also a little widget development as well!
CsCheck 3.0.0 released · Anthony Lloyd
CsCheck 3.0.0 released
.NET Conf 2023 - Day 1
Welcome to .NET Conf Day 1! Full agenda: https://www.dotnetconf.net/agenda.NET Conf 2023 is the largest .NET event hosted online! Co-organized by the .NET co...
Why I love Monaspace font for coding
As a developer, I spend a lot of time writing and reading code. And one of the most important aspects...
Authentication with multiple identity providers in ASP.NET Core
This article shows how to implement authentication in ASP.NET Core using multiple identity providers or secure token servers. When using multiple identity providers, the authentication flows need t…
ASP.NET Core Basics: Creating Apps with More Accessibility
Make your ASP.NET Core application more accessible with these basic best practices.
Introducing Radius: A new open-source project for teams building cloud-native apps
Radius is not just another open-source project; it's a versatile and accessible tool that empowers students, startups, AI developers, and entrepreneurs. It..
Learn AI skills and join the Microsoft UK AI Skills Challenge
Do you have a passion for technology and innovation? Do you want to learn how to create AI solutions that can make a positive impact on the world? Do you want..
Cake - Cake v3.2.0 released
Version 3.2.0 of Cake has been released. Take it for a spin and give us feedback on our discussion board.
Scott Sauber - Test Driven Development with Blazor - Webinar Recording | The .NET Tools Blog
Scott Sauber shows .NET developers how to apply Test Driven Development to Blazor development.
Financial sustainability for open source projects at GitHub Universe
I presented a ten minute segment at GitHub Universe on Wednesday, ambitiously titled Financial sustainability for open source projects. GitHub invited me to speak as a representative of the GitHub …
.NET 8–Http Logging
In .NET 7 and before the default request logging in ASP.NET Core is quite noisy, with multiple events emitted per request. That is one of th...
Reducing the Storage Demands of .NET Core Log Files - Loupe
Despite TB hard drives becoming pedestrian, handling storage is still a struggle for many. Data caps, expanding file sizes, and more put pressure on software...
What is VS Code and C# Dev Kit? [Pt 1] | C# and .NET Development in VS Code for Beginners
Watch this video to start your journey toward writing your first C# program in VS Code. You’ll learn about Visual Studio Code, how it both complements and d...
OpenAI Platform
Explore developer resources, tutorials, API docs, and dynamic examples to get the most out of OpenAI's platform.
Open, rigorous and reproducible research: A practitioner’s handbook
Even though many scientists are expected to abide by the principles of open, rigorous and reproducible research, few scientists actually receive formal training in this. Indeed, there is no collection written by workings scientis for working scientists about t…
Gartner and your Life Partners
Podcast: Play in new window | Download
A truly incredible fact about the number 37
Chris Grossack's math blog and professional website.
GitHub - Jcparkyn/dpoint: Open-source digital stylus using camera tracking and inertial measurements
Open-source digital stylus using camera tracking and inertial measurements - GitHub - Jcparkyn/dpoint: Open-source digital stylus using camera tracking and inertial measurements
Pipes and Filters Architectural Pattern in C# - Code Maze
In this article, we learn what pipes and filters architecture pattern is by implementing a simple Sentiment Analyzer Bot in C#
Fears of significant delays after 'cyber security incident' shuts major ports | 9 News Australia
A cyber security breach has forced the closure of ports around the country, and it's set to disrupt imports for days to come. | *Subscribe and 🔔: http://9So...
Fears of significant delays after 'cyber security incident' shuts major ports | 9 News Australia
A cyber security breach has forced the closure of ports around the country, and it's set to disrupt imports for days to come. | *Subscribe and 🔔: http://9So...
HSG: Funded PhD student in Applied Cryptography & Privacy-preserving authentication (m/f/d) (m/w/d)
The PhD student is expected to have a MSc degree or equivalent, and strong background in cryptography, network security and mathematics; Experience in one or more domains such as cryptography, design of protocols, secure multi-party computation and differentia…
Write Clean Code to Reduce Cognitive Load
This is another post in our Code Health series. A version of this post originally appeared in Google bathrooms worldwide as a Google Tes...