๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿค– Program Synthesis

Automated Programming, Formal Specifications, Code Generation, Proof Search

Show HN: Lotas โ€“ Cursor for RStudio
lotas.aiยท4dยท
Discuss: Hacker News
๐Ÿ”ฌStatic Analysis
Why US Law Sees Open Source as Permission, Not a Contract
shujisado.orgยท1dยท
Discuss: Hacker News
๐Ÿ“ฆUnikernel Systems
Specificity: A Weapon of Mass Effectiveness
longform.asmartbear.comยท30mยท
Discuss: Hacker News
โœ“Automated Theorem Proving
Creating a Streaming Iceberg Table in 3 Steps with RisingWave
risingwave.comยท10hยท
Discuss: Hacker News
๐Ÿ“ฆUnikernel Systems
#1 AI image generator and editor
ai-flux.ioยท3dยท
Discuss: Hacker News
๐Ÿ’พRetro Computing
Top 11 Modern Web Development UI Patterns To know in 2025
plakhlani.inยท2dยท
Discuss: r/programming, r/webdev
๐Ÿ”„Finite State Machines
A generic non-invasive neuromotor interface for human-computer interaction
nature.comยท2dยท
Discuss: Hacker News
๐ŸซEmbedded OCaml
Google is testing a vibe-coding app called Opal
techcrunch.comยท8hยท
Discuss: Hacker News
๐ŸŽApple
Fine-Tuning Mistral-7B on Apple Silicon: A Mac User's Journey with Axolotl LoRA
medium.comยท1dยท
Discuss: Hacker News
๐ŸŽXNU Internals
Ask HN: How are you checking the security of your vibecoded personal projects?
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ“ฆUnikernel Systems
Signing Webhooks with FusionAuth
fusionauth.ioยท6hยท
Discuss: Hacker News
๐ŸŒNetworkProtocols
Show HN:Basic Distribbuted AI Train Tool
github.comยท2hยท
Discuss: Hacker News
๐Ÿ HomeLab
Transparent PCBs Trigger 90s Nostalgia
hackaday.comยท8h
๐Ÿ’พRetro Computing
AI, Expert or Peer? -- Examining the Impact of Perceived Feedback Source on Pre-Service Teachers Feedback Perception and Uptake
arxiv.orgยท2d
๐ŸนEffect Systems
Talking Like a Phisher: LLM-Based Attacks on Voice Phishing Classifiers
arxiv.orgยท2d
๐ŸŒNetworkProtocols
Exploring the Frontiers of kNN Noisy Feature Detection and Recovery for Self-Driving Labs
arxiv.orgยท1d
๐Ÿ“ฆUnikernel Systems
A new XML conversion process for mensural music encoding : CMME\_to\_MEI (via Verovio)
arxiv.orgยท2d
๐ŸซOCaml
Deep Generative Models in Condition and Structural Health Monitoring: Opportunities, Limitations and Future Outlook
arxiv.orgยท3d
๐Ÿ”„Finite State Machines
# 10" Racks: The Gateway to Homelab Beauty
reddit.comยท2dยท
Discuss: r/homelab
๐Ÿ HomeLab
Human-Machine Shared Control Approach for the Takeover of Cooperative Adaptive Cruise Control
arxiv.orgยท2d
๐Ÿ”„Finite State Machines
Loading...Loading more...
AboutBlogChangelogRoadmap