A leap year check in three instructions
The article explores how to check if a year is a leap year using just three CPU instructions, leveraging clever bit manipulation and "magic numbers" to optimize the standard algorithm. By reverse-engineering and brute-forcing constants, the author demonstrates a branchless, highly efficient leap year check for years up to 102,499, illustrating both the mathematical tricks and practical l...
https://hueffner.de/falk/blog/a-leap-year-check-in-three-instructions.html
The article explores how to check if a year is a leap year using just three CPU instructions, leveraging clever bit manipulation and "magic numbers" to optimize the standard algorithm. By reverse-engineering and brute-forcing constants, the author demonstrates a branchless, highly efficient leap year check for years up to 102,499, illustrating both the mathematical tricks and practical l...
https://hueffner.de/falk/blog/a-leap-year-check-in-three-instructions.html
hueffner.de
A leap year check in three instructions
How to test for leap years (until year 102499) in the proleptic Gregorian calendar with just three 32-bit instructions, with detailed explanation of the bit-level tricks.
AlphaEvolve: A coding agent for scientific and algorithmic discovery
AlphaEvolve is an autonomous coding agent that uses evolutionary strategies to improve algorithms by iteratively modifying code and learning from evaluator feedback. It has achieved breakthroughs in data center scheduling, hardware design, and mathematical discovery—including surpassing Strassen’s 4×4 matrix multiplication algorithm for the first time in 56 years.
https://storage.googleapis.com/deepmind-media/DeepMind.com/Blog/alphaevolve-a-gemini-powered-coding-agent-for-designing-advanced-algorithms/AlphaEvolve.pdf
AlphaEvolve is an autonomous coding agent that uses evolutionary strategies to improve algorithms by iteratively modifying code and learning from evaluator feedback. It has achieved breakthroughs in data center scheduling, hardware design, and mathematical discovery—including surpassing Strassen’s 4×4 matrix multiplication algorithm for the first time in 56 years.
https://storage.googleapis.com/deepmind-media/DeepMind.com/Blog/alphaevolve-a-gemini-powered-coding-agent-for-designing-advanced-algorithms/AlphaEvolve.pdf
A Python frozenset interpretation of Dependent Type Theory
The post explores modeling dependent type theory (DTT) concepts using Python’s frozenset data structure, treating types as finite sets to clarify complex type-theoretic ideas. By implementing type constructors like dependent sums (Σ), dependent products (Π), and identity types in Python, the author demonstrates how key DTT judgments and structures can be represented and reasoned about in...
https://www.philipzucker.com/frozenset_dtt/
The post explores modeling dependent type theory (DTT) concepts using Python’s frozenset data structure, treating types as finite sets to clarify complex type-theoretic ideas. By implementing type constructors like dependent sums (Σ), dependent products (Π), and identity types in Python, the author demonstrates how key DTT judgments and structures can be represented and reasoned about in...
https://www.philipzucker.com/frozenset_dtt/
Hey There Buddo!
A Python frozenset interpretation of Dependent Type Theory
TLDR. Types are basically sets. Why not python sets?
awslabs / agent-squad
Flexible and powerful framework for managing multiple AI agents and handling complex conversations
https://github.com/awslabs/agent-squad
Flexible and powerful framework for managing multiple AI agents and handling complex conversations
https://github.com/awslabs/agent-squad
GitHub
GitHub - awslabs/agent-squad: Flexible and powerful framework for managing multiple AI agents and handling complex conversations
Flexible and powerful framework for managing multiple AI agents and handling complex conversations - awslabs/agent-squad
daytonaio / daytona
Daytona is a Secure and Elastic Infrastructure for Running AI-Generated Code
https://github.com/daytonaio/daytona
Daytona is a Secure and Elastic Infrastructure for Running AI-Generated Code
https://github.com/daytonaio/daytona
GitHub
GitHub - daytonaio/daytona: Daytona is a Secure and Elastic Infrastructure for Running AI-Generated Code
Daytona is a Secure and Elastic Infrastructure for Running AI-Generated Code - daytonaio/daytona
2025 Python Packaging Ecosystem Survey
2025 Python Packaging Ecosystem Survey
If you make use of Python packaging tools (pip, ...
https://simonwillison.net/2025/May/18/2025-python-packaging-ecosystem-survey/#atom-tag
2025 Python Packaging Ecosystem Survey
If you make use of Python packaging tools (pip, ...
https://simonwillison.net/2025/May/18/2025-python-packaging-ecosystem-survey/#atom-tag
Simon Willison’s Weblog
2025 Python Packaging Ecosystem Survey
If you make use of Python packaging tools (pip, Anaconda, uv, dozens of others) and have opinions please spend a few minutes with this year's packaging survey. This one was …
MonsterUI: Python library for building front end UIs quickly in FastHTML apps
https://www.answer.ai/posts/2025-01-15-monsterui.html
https://www.answer.ai/posts/2025-01-15-monsterui.html
Answer.AI
MonsterUI: Bringing Beautiful UI to FastHTML – Answer.AI
Accelerate your UI development with MonsterUI, our Python library for building frontend UIs quickly in FastHTML apps.
Pyrefly vs. Ty: Comparing Python's Two New Rust-Based Type Checkers
https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/
https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/
Edward Li's Blog
Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers
A deep dive into Meta's pyrefly and Astral's ty - two new Rust-based Python type checkers that both promise faster performance and better type inference.
Q-Insight
Understanding Image Quality via Visual Reinforcement Learning.
https://github.com/bytedance/Q-Insight
Understanding Image Quality via Visual Reinforcement Learning.
https://github.com/bytedance/Q-Insight
GitHub
GitHub - bytedance/Q-Insight: Q-Insight: Understanding Image Quality via Visual Reinforcement Learning
Q-Insight: Understanding Image Quality via Visual Reinforcement Learning - bytedance/Q-Insight
Python Tutorial: Type Hinting vs Type Checking vs Data Validation - What’s the Difference?
In this video, we'll be learning about the differences between type hinting, type checking, and data validation in Python. These are three concepts that many developers get confused about, so we'll cover what each one does, when to use them, and how they work together. We'll also look at practical examples using tools like mypy for type checking and Pydantic for data validation. By the e...
https://www.youtube.com/watch?v=fM4O9bModsE
In this video, we'll be learning about the differences between type hinting, type checking, and data validation in Python. These are three concepts that many developers get confused about, so we'll cover what each one does, when to use them, and how they work together. We'll also look at practical examples using tools like mypy for type checking and Pydantic for data validation. By the e...
https://www.youtube.com/watch?v=fM4O9bModsE
YouTube
Python Tutorial: Type Hinting vs Type Checking vs Data Validation - What’s the Difference?
In this video, we'll be learning about the differences between type hinting, type checking, and data validation in Python. These are three concepts that many developers get confused about, so we'll cover what each one does, when to use them, and how they…
BioReason
Incentivizing Multimodal Biological Reasoning within a DNA-LLM Model.
https://github.com/bowang-lab/BioReason
Incentivizing Multimodal Biological Reasoning within a DNA-LLM Model.
https://github.com/bowang-lab/BioReason
GitHub
GitHub - bowang-lab/BioReason: BioReason: Incentivizing Multimodal Biological Reasoning within a DNA-LLM Model
BioReason: Incentivizing Multimodal Biological Reasoning within a DNA-LLM Model - bowang-lab/BioReason
Traffic meter per ASN without logs
The author introduces asncounter, a Python tool that analyzes logs or network traffic to count and group incoming IPs by their Autonomous System Number (ASN), helping identify which organizations are generating the most traffic. It’s designed for quick deployment and practical insight—especially when logs are anonymized or attackers use distributed IPs—making it easier to spot patterns, ...
https://anarc.at/blog/2025-05-30-asncounter/
The author introduces asncounter, a Python tool that analyzes logs or network traffic to count and group incoming IPs by their Autonomous System Number (ASN), helping identify which organizations are generating the most traffic. It’s designed for quick deployment and practical insight—especially when logs are anonymized or attackers use distributed IPs—making it easier to spot patterns, ...
https://anarc.at/blog/2025-05-30-asncounter/
anarc.at
Traffic meter per ASN without logs
anarcat
No GPU left behind: Unlocking Efficiency with Co-located vLLM in TRL
Hugging Face’s new co-location feature lets vLLM inference and model training share the same GPUs and process group, eliminating idle GPU time and costly hardware overhead that plagued the old server-based setup. This integrated approach delivers up to 1.73X faster throughput for large language models, maintains model quality, and simplifies scaling—though it requires careful GPU memory ...
https://huggingface.co/blog/vllm-colocate
Hugging Face’s new co-location feature lets vLLM inference and model training share the same GPUs and process group, eliminating idle GPU time and costly hardware overhead that plagued the old server-based setup. This integrated approach delivers up to 1.73X faster throughput for large language models, maintains model quality, and simplifies scaling—though it requires careful GPU memory ...
https://huggingface.co/blog/vllm-colocate