Web Design Ledger
-
1
10 Excellent WordPress Themes for 2024
-
2
5+ Best WordPress Plugins to Try Out [2024 edition]
-
3
10+ Excellent Web Design Tools & Resources to Use in 2024
-
4
Webdesigners Favorite Comfort Purchases
-
5
Top WordPress Themes to Elevate Your Website in 2025
-
6
10 Best WordPress Plugins to Try Out in 2025
-
7
Excellent 10+ Tools & Resources for Designers and Agencies in 2025
pttrns.com
-
1
Status Page Design Patterns: How the Best SaaS Companies Communicate Downtime
-
2
5 Advantages of AI Requirements Management
-
3
The Ethics of Using AI Tools in UX and Content Design
-
4
Top 5 Best PC Power Supply Manufacturers
-
5
The Role of AI in User Experience Design
-
6
TMS vs. ERP: How Treasury Management Systems Complement Enterprise Resource Planning
-
7
How UX Impacts Player Retention In Gaming Apps
-
8
Shared Datacenter Proxies: The Backbone of Affordable Web Automation
-
9
How Forex Trading Platforms Shape Modern UI Design
-
10
What Makes a Windows App Interface Feel User-Friendly
Embedded in Academia
-
1
The Gods Pocket Peak Trail
-
2
Alive2 Part 3: Things You Can and Can’t Do with Undef in LLVM
-
3
Responsible and Effective Bugfinding
-
4
llvm-reduce
-
5
A Close Look at a Spinlock
-
6
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM
-
7
Formal-Methods-Based Bugfinding for LLVM’s AArch64 Backend
-
8
Why Do Peephole Optimizations Work?
-
9
Dataflow Analyses and Compiler Optimizations that Use Them, for Free
-
10
Looking for Missed Alarm Bugs in a Formal Verification Tool
Filippo.io
-
1
Production ML-DSA Verification in 350 Lines of Python
-
2
Opaque, Interoperable Passkey Records (and a Go API)
-
3
The Geomys Standard of Care
-
4
Claude Code Can Debug Low-level Cryptography
-
5
The 2025 Go Cryptography State of the Union
-
6
Building a Transparent Keyserver
-
7
go.sum Is Not a Lockfile
-
8
Vulnerability Reports Are Not Special Anymore
-
9
Quantum Computers Are Not a Threat to 128-bit Symmetric Keys
-
10
A Cryptography Engineer’s Perspective on Quantum Computing Timelines
Quarkslab’s blog
-
1
Chamilo LMS... It's raining 0days, hallelujah, it's raining 0days
-
2
Defeating AI-Assisted Reverse Engineering (or at Least Trying To)
-
3
From P-Code to GNN: extract binary code semantics
-
4
Bypassing Android Hardware Attestation from the Analyst's Chair
-
5
Cortex Security Audit
-
6
QBDI vs TritonDSE against a VM: who will be the fastest?
-
7
SightHouse: Automated function identification
-
8
Milking the last drop of Intego - Time for Windows to get its LPE
-
9
Tearing down a car telematic unit (and finding an accident on Facebook)
-
10
BSIM explained once and for all!