๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”ข Denotational Semantics

Domain Theory, Mathematical Models, Program Meaning, Scott Domains

Data Overdose? Time for a Quadruple Shot: Knowledge Graph Construction using Enhanced Triple Extraction
arxiv.orgยท18h
๐Ÿ”Information Retrieval
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
How To Solve Every Programming Problem
blog.codeminer42.comยท3h
๐Ÿ“Interval Arithmetic
Beyond words: Study maps the cognitive force of metaphor
phys.orgยท6h
๐Ÿ“กInformation theory
Cactus Language โ€ข Pragmatics 9
inquiryintoinquiry.comยท2d
๐Ÿ“Concrete Syntax
Show HN: Virtual Ontologies with Claude Code
medium.comยท21hยท
Discuss: Hacker News
๐ŸงฎDatalog
Analysing Snapshot Isolation
muratbuffalo.blogspot.comยท1dยท
Discuss: www.blogger.com
๐ŸŒณPersistent Data Structures
Why Computer Science Is No Good, Redux
cacm.acm.orgยท1d
๐ŸŽฏPerformance Proofs
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.comยท6hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
What Are Mixin Classes in Python?
realpython.comยท8h
๐Ÿ”ฌRefinement Types
Machine Learning Fundamentals: model evaluation tutorial
dev.toยท7hยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.orgยท1d
๐Ÿ”„Finite State Machines
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.comยท2dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Software books I wish I could read
buttondown.comยท9hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Qualifiers on Hypertext Links (1991)
w3.orgยท3hยท
Discuss: Hacker News
๐Ÿ”—Hypertext Systems
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.comยท1d
๐Ÿ”ฌRefinement Types
Boundaries Are in the Eye of the Beholder (2024)
planktonvalhalla.comยท11hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Context Engineering โ€” A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.comยท18h
โœจEffect Handlers
Three challenges in machine-based reasoning
amazon.scienceยท17hยท
Discuss: Hacker News
๐ŸงฎTheorem Proving
Vibe Coding the MIT Course Catalog
stackdiver.comยท4hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap