JoaoVictor's Feed

Feeds to Scour
SubscribedAll
Scoured 56 posts in 18.8 ms
Virtual Threads, introduced as part of Project Loom, provide a lightweight concurrency model that enables Java applications to handle millions of concurrent tasks efficiently. While Virtual Threads simplify concurrent programming by allowing developers to write familiar blocking-style code, certain synchronization techniques can cause thread pinning, which reduces scalability and performance. In this article, we will … Read more ›
Feeds
At PGDay France (2018 or 2019, I honestly can’t remember which one), I shared my method for evaluating a Postgres extension: read the source code, and ask yourself whether you understand it well enough to fix a small bug. Someone in the audience replied: “That’s only valid for Lætitia Avrot.” I’ve been thinking about that comment ever since. It’s not magic. It’s not some rare gift. It’s a method. Read. Understand. Read more ›
Feeds
Circulant interconnection networks provide symmetric addressing, compact generator descriptions, and uniform local connectivity. This paper maps a degree--redundancy landscape for a fault-tolerant two-hop primitive in directed circulants: given $n$ nodes and degree budget $m$, how large can the worst-case shared-relay multiplicity $R(n,m)$ be? A node is a shared relay for an ordered terminal pair if it has outgoing links to both terminals; an $f... Read more ›
Feeds
A few weeks ago someone at work asked me what I actually do. Not my job title — they had that — but what functional programming is. I started in on the usual mumble about pure functions and immutability, watched their eyes begin the slow slide toward the exit, and then they rescued both of us with a guess: “Functional programming… does that mean you write the code yourself, instead of having Claude do it? Is that the thing?” Read more ›
Feeds
The actively maintained fork of migra — PostgreSQL schema diff and migration script generator. - postgresql-tools/migra Read more ›
Feeds
Rahul's Blog Read more ›
Feeds
Six progressively harder questions — from exhaustiveness guarantees and non-sealed subtypes to generic bounds and cross-package visibility. Everything a senior engineer is expected to know cold in 2026. Sealed interfaces landed as a stable feature in Java 17 (JEP 409) and became production baseline in Java 21 once pattern matching for switch was finalized in JEP 441. By … Read more ›
Feeds
Analysts say Redmond still has billions of reasons to keep backing its flagship DBMS, even as Azure, Postgres, and AI hog the spotlight Read more ›
Discussed on r/PostgreSQL
Feeds
📋Org-modeIrreal·
Over at Ray on Emacs, Raymond Zeitler writes about the Emacs Diary for the June Emacs Carnival. The June topic is underappreciated Emacs built-ins and for Zeitler that’s Emacs Diary. He was a little disconcerted at first by being offered a blank screen for each entry. He wondered where his previous material went but he came to appreciate the fresh start that that blank buffer gave him. He goes on to describes some of the functions and capabilities of Diary. Read more ›
Feeds
Learning Emacs is not about scouring through documents and memorizing facts. Read more ›
Feeds
We argue here that traditional network models, which are overwhelmingly based on the mathematical construct of a simple graph, are fundamentally insufficient for capturing the complexity of modern distributed systems. Such systems are characterized by heterogeneous agents with diverse capabilities, high-dimensional and multi-modal data streams, and intricate, context-dependent relationships that cannot be adequately described by a simple connect... Read more ›
Feeds
A discussion of how to successfully leverage agentic AI to raise the productivity ceiling covering the topics of human oversight, governance, and disciplined engineering practices that preserve stability. Read more ›
Feeds
Sign up or login to customize your feed and get personalized topic recommendations
🗄️SQLGitHub·
Git-native PostgreSQL schema exporter and pg_dump splitter. Convert databases into structured, readable SQL projects with clean diffs and fast workflows. - RomanShevel1977/PgSchemaExporter Read more ›
Discussed on r/PostgreSQL
Feeds
Discover the top PostgreSQL 19 features, including built-in REPACK CONCURRENTLY, SQL property graph queries (SQL/PGQ), and logical replication updates. Read more ›
Feeds
Modern software applications often contain hundreds or even thousands of automated tests. While these tests help maintain software quality, execution time can become a bottleneck in Continuous Integration (CI/CD) pipelines. Parallel testing solves this problem by executing multiple tests simultaneously across multiple threads, significantly reducing build and execution time. In this article, we will explore … Read more ›
Feeds
As large language model (LLM) services become widely adopted, the cost of GPU resources for serving these models in cloud environments has emerged as a critical concern. Spot instances offer up to 90% cost savings over on-demand instances, but their frequent interruptions and limited availability pose significant challenges for continuous LLM serving. GPU spot instances, in particular, exhibit lower and more volatile availability than CPU-based ... Read more ›
Feeds
How ofLazy() unlocks constant-folding without static final, why it finally replaces double-checked locking, and what the numbers look like in practice. Every Java developer knows the tension. You want a value to be immutable so the JIT can inline it, skip null checks, and apply constant-folding — but you also want it to initialize lazily, not at class-load time. … Read more ›
Feeds
Autonomous agents are increasingly connected to cloud, deployment, and data-control workflows, but production mutation authority should not reside inside non-deterministic reasoning processes. Existing access-control mechanisms authorize identities, while assurance layers certify proposed actions; neither alone provides a mandatory enforcement point for certified authority at the moment of mutation. This paper introduces the Sovereign Executio... Read more ›
Feeds
Postgresql MCP server written in Rust. Contribute to corporatepiyush/mcp-pg-rust development by creating an account on GitHub. Read more ›
Discussed on Hacker News and r/PostgreSQL
Feeds
Eisenstein--Jacobi (EJ) networks are degree-six quotient-lattice interconnection networks. For a generator $\alpha=a+b\rho$, let $N=a^2+ab+b^2$ and $d=\gcd(a,b)$. If $d=1$, the three natural unit directions already give three edge-disjoint Hamiltonian cycles. If $d>1$, each unit direction splits into $d$ cycles and the EDHC problem becomes a cycle-splicing problem. Existing non-coprime EJ decompositions prove existence by using a rectangular rep... Read more ›
Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help