🔤 Morris-Pratt

String Matching, Pattern Search, Knuth-Morris-Pratt, Text Processing

Feeds to Scour
SubscribedAll
Scoured 19552 posts in 170.0 ms
Gradually Compacting Large Language Models for Reasoning Like a Boiling Frog
arxiv.org·23h
🌳Context free grammars
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·23h
🦀Rust Verification
Scalable Power Sampling: Training-Free Reasoning for LLMs via Distrib Sharpening
medium.com·6d·
Discuss: Hacker News
🧠Intelligence Compression
MBEL: A programmable localization DSL for Go. Stop fighting with JSON merge conflicts and lack of context.
reddit.com·6d·
Discuss: r/golang
🗣️Domain-Specific Languages
**Abstract:** This paper proposes a novel compositional framework for the formal verification of quantum circuits based on the mathematical structure of Grot...
freederia.com·5d
⚛️Quantum Circuits
My (very) fast zero-allocation webserver using OxCaml
anil.recoil.org·5d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
TI-99/4A: Revisiting Implementation Strategies
bumbershootsoft.wordpress.com·6d·
Discuss: Hacker News
⚡Homebrew CPUs
How I Use LLMs for ML Research
nirsd.substack.com·5d·
Discuss: Substack
💻Local LLMs
Title: Show HN: SymDerive – A functional, stateless symbolic math library
news.ycombinator.com·6d·
Discuss: Hacker News
⚔️Lean Tactics
How to Run Claude Code for Free with Local and Cloud Models from Ollama
towardsdatascience.com·6d
⟷Bidirectional Programming
Automunge/Chat-Flavors: A template default prompt injection for LLM chat services.
github.com·6d·
Discuss: Hacker News
🎙️Whisper
**Abstract:** This paper introduces a novel approach to tackling NP-hard graph coloring problems using dynamic programming (DP) enhanced by an Adaptive Bit-W...
freederia.com·6d
🎨Graph Coloring
How similar AI assisted coding is compared to declarative coding
news.ycombinator.com·6d·
Discuss: Hacker News
⚡Proof Automation
New AI model enables native speakers and foreign learners to read undiacritized Arabic texts with greater fluency
phys.org·2d
🤖Paleographic AI
Why you should consider F#
asfaload.com·20h·
Discuss: Hacker News
🔒Type Safety
GPTFUZZER: Red Teaming Large Language Models with Auto-Generated JailbreakPrompts
dev.to·6h·
Discuss: DEV
🧪Binary Fuzzing
Top 10 Python Algorithms for Coding Interviews: From BFS/DFS to Dynamic Programming with Real Examples
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Cost-Effective Multi-Agent AI: Separating Reasoning from Execution
lasantha.org·6d·
Discuss: Hacker News
🧠Program Logic
blockshiftnetwork/chat-markdown-converter: Convert AI-generated Markdown to WhatsApp, Telegram, Discord and Slack compatible formats using an Intermediate Representation (IR) in PHP.
github.com·3d·
Discuss: Hacker News
📝Text Compression
Show HN: Why Some Code Feels Easier to Read
evan-moon.github.io·6d·
Discuss: Hacker News
🔗Concatenative Programming

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help