♻️ Recursion Schemes - kqr · Scour

The proof theory and semantics of second-order (intuitionistic) tense logic

arxiv.org·1d

🔗Parser Combinators

Duality in Monoidal Categories

arxiv.org·4d

Trace the sea route of those fleeing Japanese invasion on new Singapore heritage tour

straitstimes.com·28m

🧭Outdoor Navigation

Thai-Chinese dinner for two at Pavilion | Pavilion Restaurant | Things to do in Bangkok

timeout.com·51m

🌿Branch Tables

Kering Sales Down 3% in Q4

vogue.com·35m

💰Loss Reserving

SUDO Consultants signs partnerships with four new clients in GCC region

consultancy-me.com·23m

⚙software development practises

‘Inevitable,’ Electric Vehicles and Online Learning

insidehighered.com·29m

🧭Outdoor Navigation

MCA to host Chinese New Year open house on Feb 17

malaysia.news.yahoo.com·44m

🧩Memory Pooling

Telstra to axe more than 200 jobs amid AI rollout

theguardian.com·25m

⚡Circuit Breakers

sbom-cve-check updates: new release, meta-sbom-cve-check, possible Yocto integration, FOSDEM talk

bootlin.com·31m

UGC fosters global environment for Hong Kong universities by providing students with national and international learning opportunities

scmp.com·28m·

Discuss: r/SCMPauto

🔗Systems Thinking

Homeowner considers legal action after overbearing HOA denies money-saving HVAC upgrade: 'We immediately called our contractor'

thecooldown.com·33m

👀Code Reviews

“I regret nothing”: Vonn on horrifying ski crash at Winter Olympics

aljazeera.com·41m

🛡️Safety Systems

Stephen Miller's Rise And His Role In Trump's Immigration Agenda

ndtv.com·50m

⏸️Backpressure

Dutch Authorities Confirm Ivanti Zero-Day Exploit Exposed Employee Contact Data

thehackernews.com·31m

🐤Canary Deployment

Hong Kong's single-family offices total surpasses 3 380, injecting over $10 billion annually into local economy

prnewswire.com·33m

📊Economic History

From Folder Deletion to Admin: Lenovo Vantage (CVE‑2025‑13154)

blog.compass-security.com·53m

Canadian International Trade Minister on Free Trade Agreements

bloomberg.com

·35m

📊Economic History

Waku: The Minimal React Framework Reaches Alpha

infoq.com·23m

👀Code Reviews

Uzbek–Chinese Deal Advances Automotive Skills Training

caspianpost.com·31m

✈️Air Traffic Control

Loading more...