H
F
Programming
Programming
Channels
Economy
World
Technology
Programming
New/Niche Languages
JavaScript Stack
Chinese
Permalink to May 2025: All AI updates from the past month
(
sdtimes.com
)
2025-6-4
AI
How to build a high-performance network fuzzer with LibAFL and libdesock
(
lolcads.github.io
)
2025-6-4
garlic: Java decompiler written in C
(
github.com
)
2025-6-4
Java
Interfacing MCP with Combinatorial, Convex, and SMT Solvers
(
www.stephendiehl.com
)
2025-6-4
Vibe coding case study: ScubaDuck
(
blog.ezyang.com
)
2025-6-4
Covert Web-to-App Tracking via Localhost on Android
(
localmess.github.io
)
2025-6-3
Android
Page Magic: A Chrome extension that uses AI to customize the appearance of any web page
(
github.com
)
2025-6-3
AI
Chrome
swift-cross-ui: A cross-platform declarative UI framework, inspired by SwiftUI
(
github.com
)
2025-6-3
Swift
Example of Splitting a PR
(
www.jefftk.com
)
2025-6-3
tpde: A fast framework for writing baseline compiler back-ends in C++
(
github.com
)
2025-6-3
C++
Beachpatrol: CLI to automate your everyday web browser
(
github.com
)
2025-6-3
Browser
Technical Guide To System Calls: Implementation And Signal Handling In Modern Operating systems
(
mohitmishra786.github.io
)
2025-6-3
What's higher-order about so-called higher-order references?
(
www.williamjbowman.com
)
2025-6-3
Permalink to Infragistics Ultimate 25.1 includes updates across several of its UI toolkit components
(
sdtimes.com
)
2025-6-3
Permalink to Dynatrace Live Debugger, Mistral Agents API, and more – SD Times Daily Digest
(
sdtimes.com
)
2025-6-3
API
GenAI is Our Polyester
(
culture.ghost.io
)
2025-6-3
Swift at Apple: migrating the Password Monitoring service from Java
(
www.swift.org
)
2025-6-3
Swift
Java
Apple
Password
NLWeb: Protocol for AI-Powered Website Search
(
glama.ai
)
2025-6-3
AI
DPS8M Performance
(
dps8m.gitlab.io
)
2025-6-3
My AI Skeptic Friends Are All Nuts
(
fly.io
)
2025-6-3
AI
Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs | MongoDB Blog
(
www.mongodb.com
)
2025-6-3
MongoDB
Tests should not contain logic
(
blog.snork.dev
)
2025-6-3
public/protected/private is an unnecessary feature
(
catern.com
)
2025-6-3
RSS 2.0 Specification (2009)
(
www.rssboard.org
)
2025-6-3
RSS
GoDaddy Issues Thousands of Certificates That Don't Work in Safari (again)
(
sslmate.com
)
2025-6-3
Google Logo Ligature Bug
(
www.jefftk.com
)
2025-6-3
Google
`document.currentScript` is more useful than I thought.
(
macarthur.me
)
2025-6-3
AI didn't kill Stack Overflow
(
www.infoworld.com
)
2025-6-3
AI
CVE 2025-31200 CoreAudio bug exploited in the wild
(
blog.noahhw.dev
)
2025-6-3
Control Flow Structures in Python
(
realpython.com
)
2025-6-3
Python
Previous Page
Next Page