LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·6d
💻Programming languages
Do you use ChatGPT at work? Try one of these 11 prompts to power up your productivity with AI
techradar.com·1d
🧠Personal Knowledge Base
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·3d
🎯Threat Hunting
Data Structure Visualizations
cs.usfca.edu·6h·
Discuss: Hacker News
📐Mathematical Art
Hacking a hotel door
hackster.io·21h
🔓Hacking
Solving LinkedIn Queens Using Haskell
imiron.io·5d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
​​Accelerating Cloud Cryptography: Optimizing AWS-LC with Intel’s AVX-512
infosecwriteups.com·11h
⚡SIMD Optimization
DBMS_SCHEDULER - Complete Guide 2025
dev.to·23h·
Discuss: DEV
🧬PostgreSQL Forensics
Welcome to The New Stack Agents, a Weekly Livestream on AI
thenewstack.io·1d
🔓Open Source Software
The Complicated Reality of AI Implementation in Engineering Teams
thenewstack.io·2d
🌊Stream Processing
Our Coding Adventure: Using LLMs to Personalise the Narrative of a Tangible Programming Robot for Preschoolers
arxiv.org·2d
🎙️Whisper
The Future of Software Testing: How AI Is Transforming QA Forever
dev.to·14h·
Discuss: DEV
🔍Concolic Testing
Machine Learning Fundamentals: active learning project
dev.to·4d·
Discuss: DEV
🧠Machine Learning
🧠 Solving LeetCode Until I Become Top 1% — Day `31`
dev.to·3d·
Discuss: DEV
🔢Bitwise Algorithms
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.org·3d
🔍BitFunnel
12 Lessons from AI Pair Programming (180 Days with AI, Zero Hype)
dev.to·3d·
Discuss: DEV
⚡Proof Automation
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·5d
🔧Hardware Verification
【HarmonyOS 5】Detailed Explanation of Privacy Protection in HarmonyOS Applications
dev.to·2h·
Discuss: DEV
🔐Homomorphic Encryption
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·3d·
Discuss: DEV
✅Format Verification
Linux to DevOps journey
dev.to·22h·
Discuss: DEV
❄️Nix Adoption