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…
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.
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. T...
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 cons...
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...
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 produc...
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
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 an...
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...
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...
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? N...
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!
.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 ab...
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 differ...
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...