» Tag
java
26 postsAI Migrates COBOL to Java Fast — Proving It's Correct Is Hard
AI speeds up COBOL-to-Java migration, but proving correctness is the hard part. How an SMT-based equivalence verifier catches hidden bugs before they ship.
SirixDB: A bitemporal JSON database with sub-page versioning
SirixDB is a bitemporal JSON database using copy-on-write and sub-page versioning so any revision can be queried as fast as the latest.
Virtual Thread Pinning in Java Loom: Why Throughput Stalls
Virtual thread pinning locks carrier threads via synchronized or native calls, turning Loom apps into bounded thread pools; JDK 24's JEP 491 fixes most cases.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.comScarfBench Benchmarks AI Agents on Enterprise Java Framework Migration
ScarfBench is an open benchmark measuring whether AI agents can truly build, deploy and preserve behavior when migrating enterprise Java apps.
What a Spring Boot Static Analyzer Missed About Hidden Database Calls
How a custom Spring Boot static analyzer missed database calls, transactions, and messaging due to Spring's implicit runtime behavior.
kotlin-lib-mcp: an MCP server exposing real sources of any Maven library to AI
kotlin-lib-mcp is an open-source MCP server letting AI assistants read real Maven library sources, API surface, and KDoc directly.
Compile Rust to Java Bytecode and Create Runnable JARs
A Rust compiler backend compiles to JVM bytecode, enhancing interoperability and portability.
Detecting Virtual Thread Pinning and Challenges from Standard Thread Dumps
Learn about ThreadMine, a new tool for detecting virtual thread pinning from standard thread dumps.
Java virtual threads: 15x faster I/O, no help for CPU-bound work
An 8,000-trade settlement benchmark shows Java virtual threads deliver a 15x speedup for I/O-bound work but offer no advantage for CPU-bound Monte Carlo simulations.
Building an AI Agent System with the ReACT Pattern in Java
Phase 6 of the Jarvis AI platform explains how a multi-step, streaming AI agent system was built in pure Java and Spring AI using the ReACT pattern.