๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ—๏ธ Constructive Logic

Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory

Finding the low-hanging fruit in tech companies
seangoedecke.comยท9h
๐Ÿ”ฉSystems Programming
My Current AI Dev Workflow
steipete.meยท1d
โšกProof Automation
I am smarter than ChatGPT (at Clues by Sam)
goose.leaflet.pubยท13hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
A chatbot that builds Rails apps
kodykendall.comยท15hยท
Discuss: Hacker News
๐Ÿฆ‹Format Metamorphosis
HLLM-Creator: Hierarchical LLM-based Personalized Creative Generation
arxiv.orgยท5h
๐ŸŽฏContent Recommendation
The AI Data Scientist
arxiv.orgยท5h
๐ŸงชData science
TOMATO: Assessing Visual Temporal Reasoning Capabilities in Multimodal Foundation Models
arxiv.orgยท5h
๐Ÿค–Advanced OCR
Route-and-Execute: Auditable Model-Card Matching and Specialty-Level Deployment
arxiv.orgยท5h
๐Ÿฆ‹Format Metamorphosis
Improvements to OCaml code editing: the basics of a refactor engine
tarides.comยท5dยท
Discuss: Lobsters, Hacker News
๐Ÿฆ€Rust Macros
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.orgยท5h
๐Ÿ•ธ๏ธNetwork Topology
Graph-R1: Incentivizing the Zero-Shot Graph Learning Capability in LLMs via Explicit Reasoning
arxiv.orgยท5h
๐Ÿ’ปLocal LLMs
Automate the Testing of Your LLM Prompts
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
Go Coding with Asparagos: The Smartest Peanut in the Neighborhood
dev.toยท2hยท
Discuss: DEV
๐Ÿ’พBinary codes
How Retrieval Algorithms Shape Better LLM Responses?
dev.toยท9hยท
Discuss: DEV
๐Ÿ”Information Retrieval
Generative Artificial Intelligence and Agents in Research and Teaching
arxiv.orgยท5h
๐Ÿ”ฒCellular Automata
Feature-Refined Unsupervised Model for Loanword Detection
arxiv.orgยท5h
๐Ÿ“Manuscript Metrics
A Feminist Account of Intersectional Algorithmic Fairness
arxiv.orgยท5h
๐ŸŒCultural Algorithms
Format as a Prior: Quantifying and Analyzing Bias in LLMs for Heterogeneous Data
arxiv.orgยท1d
๐Ÿง Machine Learning
Simpler Category Theory
ryanbrewer.devยท5dยท
Discuss: Hacker News
๐Ÿ”€Category Theory
Analysis and Detection of RIS-based Spoofing in Integrated Sensing and Communication (ISAC)
arxiv.orgยท5h
โš–๏ธRISC-V Formal
Loading...Loading more...
AboutBlogChangelogRoadmap