Tech News
Tech blog posts, updated regularly
Lobsters
Why Rocq is better than Lean for program verification
·
joomy.korkutblech.com by joomy
compilersformalmethodsml
Lobsters
Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident
·
huggingface.co via martinald
securityvibecoding
Lobsters
The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes
·
blog.silentsignal.eu via calvin
reversingsecurity
Machine Learning
How AgentCore Gateway supports the MCP 2026-07-28 spec
Amazon Bedrock AgentCoreAnnouncementsIntermediate (200)
Security
AWS KMS or AWS CloudHSM: Choose the right key management solution
AWS CloudHSMAWS KMSAWS Key Management Service
Big Data
Automate Spark Scala migration to 4.x with AWS Spark Upgrade Agent
Advanced (300)Amazon EMRTechnical How-to
Machine Learning
Market surveillance agent with LangGraph and Strands on AgentCore
Advanced (300)Amazon Bedrock AgentCoreGenerative AI
Security
2026 Phase 1a IRAP report is now available on AWS Artifact for Australian customers
AnnouncementsComplianceFoundational (100)
Big Data
Build a contract compliance search system with Amazon OpenSearch
AWS LambdaAmazon BedrockAmazon OpenSearch Service