🖥️ Computer Science - goodboyjojo · Scour

Cut-Elimination for the Bimodal Logic GR 🐚Shell Scripting

Deep Tech to Space: Space Data Centers and AI Revolution at the Edge 💻Creative Coding

Not All Anquan Is the Same: A Terminological Proposal for Chinese Computer Science and Engineering ⚙️Philosophy of Technology

Completeness of Synthesis under Realizability Assumptions using Superposition 🐚Shell Scripting

From I/O to Code with Discovery Agent 💻Creative Coding

Generalized Compare-and-Swap and Space-Efficient Universal Constructions for the Infinite-Arrival Model 🗂️IPFS

Predictive Software Scheduling as an Early-Warning Hint Layer for Optical Engine Thermal Drift in Heterogeneous SoIC Packaging 🎮Game Engines

3C: Competition, Competence, and Collaboration for Women in Computing 💻Creative Coding

Automating proof search when equality is a logical connective 🐚Shell Scripting

Approximate Distributed Coded Computing: Polynomial Codes and Randomized Sketching 🗂️IPFS

Evidence-Guided Unknown Rejection for High-Confidence Near-Known Unknowns 🤖AI

Min-Max Optimization Requires Exponentially Many Queries 🗂️IPFS

Spatial Optimization of Interconnected Systems in Non-Convex Design Spaces 🎲Game Design

Decision Tree Learning on Product Spaces 🤖AI

Orthologic for SAT Solving 🎮Games

A Hybrid Optimization Framework for Spatial Packaging of Interconnected Systems 🎮Game Engines

Proof Nets for PiL (Full Version) 🎮Game Engines

ASSESSING THE STOCHASTIC PROPERTIES OF MODERN PSEUDO-RANDOM GENERATORS FOR PARALLEL COMPUTING 🕹️Retrocomputing

JanusPipe: Efficient Pipeline Parallel Training for Machine Learning Interatomic Potentials 🎮Game Engines

Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses 🎮Game Engines

Log in to enable infinite scrolling