🐫 Ocaml - bugzmanov · Scour

New comment by seanwilson in "Ask HN: Who wants to be hired? (June 2026)"

📐formal specification Discussion

news.ycombinator.com··Hacker News

‘The Odyssey’ popcorn bucket is a Trojan Horse

Jason Momoa Exits Justin Lin’s Video Game Adaptation ‘Helldivers’; Search for New Star Underway

🤖AI News

Retro-inspired Metroidvania Zozo And The Lost Dreams Awakes With New Demo

retronews.com·

Jason Momoa drops out of the Helldivers movie

🤖AI News

·

janestreet/strace_ui: A Bonsai_term application for interactively viewing strace output

🔍Symbolic Execution Code

Sydney Sweeney finally addresses ‘Euphoria’ cast feud rumors

⚡Zig News

Interpol announce first album for Partisan, share “This Mirror Weighs A Ton” & “See Out Loud”

brooklynvegan.com·

Dust-prone desert of the Southwest may be ideal for solar energy

techxplore.com·

George Clooney Cosigns Callum Turner as the Next James Bond: ‘The Perfect Guy’

usmagazine.com·

Knicks in 6? Possibly prescient 2020 yearbook quote goes viral

💰Fidelity Video News

Geometric Coastline Localization using Vision-Language Models

🔧PLT Academic

Idris Elba says him playing James Bond not ‘realistic,’ some audiences won’t accept ‘Black male’ in role

🦀Rust News Reference

Pasteur, a zero-knowledge pastebin as an unikernel in OCaml

🔍Refinement Types Code

github.com··Hacker News

Idris Elba Says Bond Rumors Were ‘Never Legit’ and ‘Not Realistic’: Audiences ‘Won’t Go for a Black Male Playing Bond’

💰Fidelity News

A new MMO announcement is more exciting than all the other SGF news combined

🔍Symbolic Execution

·

Bookshelf

Callum Turner breaks silence on James Bond rumours after receiving backing from George Clooney

💰Fidelity News

the-independent.com·

Docker 29 and COPY –link –chown

🔍Refinement Types Blog

George Clooney Endorses 'Handsome' Actor to Become the New James Bond — 'He's Tall and Charming'

🤖AI News

radaronline.com·

Sign up or log in to see more results

Log in to enable infinite scrolling