Looking for a website to execute Python code with revision history
pisaeditor.com·1d·
Discuss: r/AskProgramming
🧩Theorem Proving
How to enable basedpyrights semantic highlighting (variables have slightly different color) on nvim with python?
gist.github.com·1d·
Discuss: r/neovim
🔧Compiler Design
Regina Obe: Learning PostgreSQL from AI and JSON exploration: Part 2
postgr.es·2d
🧩Theorem Proving
AI Is at the PageRank Moment
twkrr.com·7h·
Discuss: Hacker News
⚖Algorithmic Game Theory
Alibaba Launches Qoder: An Agentic Coding Platform for Real Software
finance.yahoo.com·1d·
Discuss: Hacker News
🔧Compiler Design
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·2d·
Discuss: Lobsters, Hacker News
📝Lisp
ChatGPT Is Everywhere, But What Can It Do and How Does It Work?
pcmag.com·1d
🤖Sci-Fi
dataease/SQLBot
github.com·20h
🦀Rust
Nest.js deep dive series: The simplest Nest application with JavaScript
dev.to·1d·
Discuss: DEV
🔌Network Programming
How to advance when learning C?
reddit.com·1d·
Discuss: r/C_Programming
🔧Compiler Design
SPL Lightweight Multisource Mixed Computation Practices
github.com·3d·
Discuss: Hacker News, r/programming
🌍Distributed Systems
Encoding and Reasoning About Arrays in Set Theory
arxiv.org·5d
🧭SMT Solvers
There's No Such Thing as FullStack Anymore
dev.to·3h·
Discuss: DEV
🔌Network Programming
Robust Adaptive Control via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·2d·
Discuss: DEV
🤖Sci-Fi
Markdown Lib - First OSS project - Feedback Welcome!
github.com·2d·
Discuss: r/golang, r/opensource, r/programming
🔧Compiler Design
Inference Time Debiasing Concepts in Diffusion Models
arxiv.org·1d
🎲Probabilistic Programming
AeroDuo: Aerial Duo for UAV-based Vision and Language Navigation
arxiv.org·1d
🎲Probabilistic Programming
Automated Optimization of Brine Fracture Propagation Using Multi-Modal Data Fusion and Bayesian Hyperparameter Calibration
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Artificial Intelligence-Based Multiscale Temporal Modeling for Anomaly Detection in Cloud Services
arxiv.org·2d
🎲Probabilistic Programming
Gwenai—Claude Code but with Ollama support and a GUI
reddit.com·10h·
Discuss: r/selfhosted
🧩Theorem Proving