🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Format Grammars
Binary Languages, Structure Parsing, Protocol Specification, Data Linguistics
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org
·
19h
🔗
Graph Isomorphism
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io
·
1h
·
Discuss:
Hacker News
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cactus Language • Semantics 3
inquiryintoinquiry.com
·
7h
🔢
Denotational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io
·
43m
·
Discuss:
Hacker News
⬌
Bidirectional Typing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org
·
19h
📋
Document Grammar
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Neuro-Symbolic AI
en.wikipedia.org
·
9h
·
Discuss:
Hacker News
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Categorical systems theory
topos.institute
·
11h
🔀
Category Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Write a Macro in Rust
hackeryarn.com
·
7h
·
Discuss:
Hacker News
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com
·
23h
🌊
Streaming Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca
·
4h
·
Discuss:
Hacker News
🔗
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
From Documents to Dialogue: A step-by-step RAG Journey
dev.to
·
9h
·
Discuss:
DEV
📊
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building the Reasoning Engine at Axiom
axiommath.ai
·
3h
·
Discuss:
Hacker News
⚔️
Lean Tactics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Getting a Hypergraph of Functions to a Browser
systeminit.com
·
1d
·
Discuss:
Hacker News
📐
E-graphs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Realization Jsmn on a Pure Zig
github.com
·
13h
·
Discuss:
Hacker News
🔗
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🧮
Algebraic Datatypes
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Slip – A Lisp System in JavaScript
lisperator.net
·
9h
·
Discuss:
Hacker News
🔗
Lisp
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org
·
19h
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org
·
19h
⛪
Church Encoding
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
IASC: Interactive Agentic System for ConLangs
arxiv.org
·
19h
🌳
Context free grammars
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LINQ and Learning to Be Declarative
nickstambaugh.dev
·
1d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »