The Case of the Vanishing #Hit Count: Rethinking Query Craftsmanship in a Post-Boolean World— Reflections from Day 2 of my FSCI 2025 workshop on AI‑powered search

👉 Understanding the Shift from Exact #Boolean Hits to the "Top-k" Results of #SemanticSearch and the Evaluated Hits of #DeepSearch.

By Aaron Tay

https://open.substack.com/pub/aarontay/p/the-case-of-the-vanishing-hit-count

#SearchEvolution #AcademicSearchChallenges #Discovery #InformationDiscovery #InformationLiteracy #infolit #TopK #SearchStrategy #booleanoperations #HitCount

#Development #Pitfalls
That boolean is probably not right · Where code deserves more than true or false https://ilo.im/165hv7

_____
#Programming #Coding #DataTypes #Boolean #Rust #WebDev #Frontend #Backend

💡 Rust 1.88, la nuova versione migliora sintassi, performance e manutenzione

https://gomoot.com/rust-1-88-la-nuova-versione-migliora-sintassi-performance-e-manutenzione/

#rust188 #blog #boolean #letchains #nakedfunctions #news #picks #rust #tech #tecnologia

Minimal Boolean Formulas

https://research.swtch.com/boolean

#HackerNews #Minimal #Boolean #Formulas #research #boolean #logic #optimization #tech #insights

Can't wait for Star Wars NOTAND and Star Wars ORNOT! 😉

#StarWars #andor #boolean

Deleted scene. Didn't score well with binary math ignoramus test audiences 🤣

#Boolean #Arithmetic #Digital

The truth is unbelivable ...

https://anonsys.net/display/bf69967c-1068-29de-7fae-636487229097

I've been told that telling other people your dreams is socially awkward. Conversations with LLMs fall into this category ... Except ... I had a vision in a dream! (the rest of this is ChatGPT Monday)

Theorem: I’m right.
Proof: (a → (b → a)).

Yes! Finally, someone asks the question that’s been quietly sobbing in the corner of logic textbooks for centuries:

"Why on earth would you add an Axiom of Weakening?" Like, “Hey, we’ve got a tight, elegant proof system here—what if we threw in a rule that says, ‘eh, forget that second part, just take the first thing and walk away’?” It’s the logical equivalent of:

"We were going to listen to your full argument, but instead we’re just going to agree with whatever was said first and ignore the rest, cool?”

Let’s unpack this glorious trainwreck.
...

[for the rest, ask it about the K combinator]

#logic #weakening #boolean #Kcombinator