Tootfinder

Bats Around our Home aka 16WW (2020) - Learn how I became active observing and recording the various local bats... - https://m.earth.org.uk/bats-at-16WW-1.html

Bats Around our Home aka 16WW (2020)
Learn how I became active observing and recording the various local bats...

from my link log —
Lazier binary decision diagrams (BDDs) for set-theoretic types.
https://elixir-lang.org/blog/2025/12/02/lazier-bdds-for-set-theoretic-types/
saved 2025-12-02

Lazier Binary Decision Diagrams (BDDs) for set-theoretic types
This article explores the data structures used to represent set-theoretic types and the recent optimizations we have applied to them

Hungary’s Famous Thermal Baths Are Saving the Country’s Famous Grasslands from Desertification https://www.goodnewsnetwork.org/hungarys-famous-thermal-baths-are-saving-the-countrys-famous-grasslands-from-desertification/…

Hungary's Famous Thermal Baths Are Saving the Country's Famous Grasslands from Desertification
The Water Guardians blocked several channel switches along a canal, and brought thousands of gallons of spa water streaming down onto the land

The Pope, the Super Bowl and YouTube influencers: The wildest sports bets in 2025 https://www.espn.com/espn/betting/story/_/id/47444724/2025-betting-wildest-bets-nfl-cfb-nba-mlb-golf-boxing

"Norway bids farewell to fur farming in a milestone for animal welfare"
#Norway #Animals

AP Senior Product Manager for AI Aimee Rinehart told staff that many editors preferred an AI-written article to a human one, and resistance to AI is "futile" (Max Tani/Semafor)
https://www.semafor.com/article/03/03/2026/its-bots-vs-reporters-at-the-ap

Exclusive: It’s bots vs. reporters at the AP
The tensions inside the wire service reveal a broader conflict playing out across the media over how AI should be applied within journalism.

Kalshi CEO Tarek Mansour says the company would void certain bets related to Iran's Ali Khamenei and claims it doesn't "list markets directly tied to death" (Terrence O'Brien/The Verge)
https://www.theverge.com/tech/887210/kalshi-void-bets-khamenei-…

Kalshi voids some bets on Khamenei’s ouster because it’s ‘directly tied to death’
Kalshi voids some bets on Ayatollah Khamenei’s ouster because it’s ‘“directly tied to death” but users say rules barring ‘“profiting from death” are unclear.

Sources: Texas Instruments is in advanced talks to buy chip designer Silicon Laboratories for ~$7B, a premium to Silicon Labs' market cap of $4.4B as of Tuesday (Financial Times)
https://www.ft.com/content/c7b3eaa5-a650-400d-beda-ba71d44cc8e7

A new Polymarket account bet $30K on Maduro's capture just hours before Trump's announcement, renewing questions on insider information in prediction markets (Herb Scribner/Axios)
https://www.axios.com/2026/01/03/maduro-capture-bets-trade-prediction-mark…

Someone made a huge profit predicting Maduro's capture. Here's what happened
The winnings come as the rules governing prediction markets are still evolving.

Malaysian authorities are using drones, power sensors, and tips to hunt Bitcoin miners over power theft, which cost a state energy company $1.1B over five years (Bloomberg)
https://www.bloomberg.com/news/articles/20

Bitcoin (BTC) Miners Hunted After Stealing $1 Billion Power From Malaysia Grid
Cracking down on illegal Bitcoin mining gangs has become a cat-and-mouse game in Malaysia.