|
For a while now, I’ve been fascinated by Z3 and by SMT solving more broadly. While on pat leave recently, I was reminded of the existence of regular-expression crossword puzzles, and allowed myself to get nerdsniped by writing a Z3-backed solver. I expected to spend perhaps an afternoon cranking out a quick solver; I ended up getting sucked into understanding and debugging Z3 performance, and learning far more about Z3 and about SMT than I ..
|
|
For a while now, I’ve been fascinated by Z3 and by SMT solving more broadly. While on pat leave recently, I was reminded of the existence of regular-expression crossword puzzles, and allowed myself to get nerdsniped by writing a Z3-backed solver. I expected to spend perhaps an afternoon cranking out a quick solver; I ended up getting sucked into understanding and debugging Z3 performance, and learning far more about Z3 and about SMT than I ..
|
|
Hello! We're very glad to inform you that Eddie Android edition 3.3.0 has been released. Eddie Android edition is a fully integrated with AirVPN, free and open source WireGuard and OpenVPN GUI client. It is based on official WireGuard library and latest OpenVPN3-AirVPN library (free and open source software library by AirVPN), allowing comfortable connections to both OpenVPN and WireGuard servers. Source code is available on GitLab: https....
|
|
Understanding how your data structures interact with hardware is one of the most powerful ways to improve application performance. This blogpost explores how CPU caches influence speed and how thoughtful struct design in Go can yield massive gains. Through a real-world case study, it shows how replacing a large embedded array with a slice improved performance by more than 40 times by reducing cache misses and improving data locality. Origin..
|
|
Three new map styles with refreshed cartography with denser data across zoom levels are now avaiable for public testing.
|
|
Building and deploying Cleanapp in just a few hours using Django CookieCutter starter and AI-assisted coding. How the right tools and approach can turn an idea into a live product incredibly fast.
|
|
An exciting new game I made this past week is now released today! Check out the video here . The Road by Javantea I made all the graphics, the songs (3 of them), and the code in 1 week.
|
|
An exciting new game I made this past week is now released today! Check out the video here . The Road by Javantea I made all the graphics, the songs (3 of them), and the code in 1 week.
|
|
Is SwiftData incompatible with MVVM? The standard answer disregards some key principles driving SwiftUI’s architecture
-
matteomanferdini.com
-
7 months ago
-
eng
Some developers claim that MVVM is incompatible with SwiftUI. However, with a proper understanding of SwiftUI, it is possible to address any criticisms and eliminate the boilerplate code seen in many online blogs. In this article, we will explore some fundamental yet ignored SwiftUI features to understand how to replicate its integration with SwiftData inside ... Read more The post Is SwiftData incompatible with MVVM? The standard answ..
|
|
They're the same as the developer builds, but the Servo devs have decided to make them official monthly releases. >inb4 rust This is one of the few non-meme rust projects because it started out with using rust rather than embedding itself into another project. https://www.phoronix.com/news/Servo-0.0.1-Released https://github.com/servo/servo/releases/tag/v0.0.1
|
|
tabhisthybrid.sql: Display Oracle hybrid histograms and filter cardinality estimates
-
tanelpoder.com
-
7 months ago
-
eng
I have uploaded an early version of my Oracle hybrid histogram examination script that shows you the estimated row-count (cardinality) numbers when looking up a single value with a simple WHERE col = X condition from a table. You can pull the latest tpt-oracle repo or see it here: https://github.com/tanelpoder/tpt-oracle/blob/master/tabhisthybrid.sql When troubleshooting optimizer’s row-count estimates on tables with histograms, I s..
|
|
tabhisthybrid.sql: Display Oracle hybrid histograms and filter cardinality estimates
-
tanelpoder.com
-
7 months ago
-
eng
I have uploaded an early version of my Oracle hybrid histogram examination script that shows you the estimated row-count (cardinality) numbers when looking up a single value with a simple WHERE col = X condition from a table. You can pull the latest tpt-oracle repo or see it here: https://github.com/tanelpoder/tpt-oracle/blob/master/tabhisthybrid.sql When troubleshooting optimizer’s row-count estimates on tables with histograms, I s..
|
Another travel blog, this time heading roughly an hour away in a car to visit Anna Maria Island for a short weekend adventure.
|
|
I just crossed 179 words per minute by talking. Voice-first computing changes how you think, what you build, and where you work.
|
|
I know the 20th falls on a Monday this month, but I don’t have much time, so this month I’ll just make a quick post.
|
|
Around this time last year I came to Uppsala with a friend to check out Rosendal Day - a day organized by the neighborhood I had just bought an apartment in. On the walk to Rosendal from the station I realized it was also the day of the 2024 Uppsala (full and half) Marathon, the runners and spectators gathered on the route through the middle of the city.
|
|
Polyhedral optimization is a tool used in compilers for optimizing loop nests. While the major compilers that use this implement polyhedral optimizations from scratch,1 there is a generally-applicable open source C library called the Integer Set Library (ISL) that implements the core algorithms used in polyhedral optimization. This article gives an overview of a subset of ISL, mainly focusing on the representation of sets and relations and ..
|
|
Polyhedral optimization is a tool used in compilers for optimizing loop nests. While the major compilers that use this implement polyhedral optimizations from scratch,1 there is a generally-applicable open source C library called the Integer Set Library (ISL) that implements the core algorithms used in polyhedral optimization. This article gives an overview of a subset of ISL, mainly focusing on the representation of sets and relations and ..
|
|
Polyhedral optimization is a tool used in compilers for optimizing loop nests. While the major compilers that use this implement polyhedral optimizations from scratch,1 there is a generally-applicable open source C library called the Integer Set Library (ISL) that implements the core algorithms used in polyhedral optimization. This article gives an overview of a subset of ISL, mainly focusing on the representation of sets and relations and ..
|
|
No, honest, it did. Windows 2 was kinda ugly. https://guidebookgallery.org/screenshots/win203 Windows 3/3.1/3.11 were fine. https://guidebookgallery.org/screenshots/win30 Muted, boring, but you could look at it all day. And we did. 95 improved it. https://guidebookgallery.org/screenshots/win95osr2 Tasteful greys, spot colour. NT 4 improved that a bit more. https://guidebookgallery.org/screenshots/winnt40 Categorised Star....
|
|
The combination of the Nominative Determinism and Last Mile Synchronicty of this piece about a duo successfully rowing across Pacific Ocean is quite something. #
|
|
Skepticism, Early Trends & an Early Leader in AI-for-Hedge Funds Race
-
magis.substack.com
-
7 months ago
-
eng
Ken Griffin, founder of Citadel, is skeptical of AI’s stock-picking abilities. AlphaSense, meanwhile, says AI is driving revenue. This post maps the early product categories forming in the space.
|
|
Recently I took on a contract job to fill the coffers a bit while HiredCoach handles its initial launch. Nothing that I can talk that much about publicly, but I can reveal that it’s your typical AI office assistant for a particular business process. As specific as it is exciting a description, I’m sure. Given that I recently wrote an entire article about the highs and lows of my custom framework, arkaine - and within I mention t..
|
|
Greetings lainchan. This is an awareness raising post from the 4Chan /g/ Usenet General. Cross posting to bring to attention, reinvigorate, recruit and everything in between. Posting on usenet is free, easy and is a most comfy experience. >What is /u
-
lainchan.org
-
7 months ago
-
eng
Greetings lainchan. This is an awareness raising post from the 4Chan /g/ Usenet General. Cross posting to bring to attention, reinvigorate, recruit and everything in between. Posting on usenet is free, easy and is a most comfy experience. >What is /usenet/? Open standard protocols still exist and are what the internet was built on (http, irc, ftp, etc). It's NOT owned by corpos, not under govt control, and are accessible....
|
|
Emacs ships with a perfectly functional world clock, available via M-x world-clock. Having said that, there are two things I wish it had: A quick way to interactively add any city (bonus points for fuzzy search). An easy way to shift the time back and forth. As far as I can tell, these are neither available nor possible on the built-in world-clock (please correct me if otherwise), so when my friend across the world recently asked me for....
|
|
It occured to me that one of the advantages of having gone down the route of having many plugins for my ssg, even though that became a bit of a headache, was that my github actions made very good use of reusable workflows. I spent a bit of time the past few days seing if I could repurpose the same structure to build an social media auto-poster. I’ve made a ton of progress, and have the core primitives working. In some ways it feels like ..
|