Monotonic Collections: a middle ground between immutable and fully mutable
neilmadden.blog·10h
⚙Functional Programming
Flag this post
Implementing E Unification using SMT
philipzucker.com·2d
🧭SMT Solvers
Flag this post
Examining the carbon footprint of conference travel
phys.org·1d
🌍Distributed Systems
Flag this post
Hunting Hidden GraphQL Mutations How I Found AddWorkspaceWhitelistDomains Using JavaScript Analysis
🔍Static Analysis
Flag this post
Integrated individually addressable microneedle arrays for robust glucose monitoring and on-demand insulin releasing
nature.com·19h
🤝Protocol Design
Flag this post
How to Achieve 4x Faster Inference for Math Problem Solving
developer.nvidia.com·2d
🎲Probabilistic Programming
Flag this post
Active Short Circuit and Safe Discharge Mechanisms in Multi-Phase Inverters During Critical Failures
arxiv.org·30m
🌍Distributed Systems
Flag this post
Visual motion and landmark position align with heading direction in the zebrafish interpeduncular nucleus
nature.com·1d
🧫Cellular Automata
Flag this post
Machine learning automates material analysis and design using X-ray spectroscopy data
phys.org·1d
🔐Cryptography
Flag this post
Intro to Clean Architecture in Android. Example with independent features.
🏗️Software Architecture
Flag this post
<p>**요약:** 본 연구는 완전 자율주행 시스템의 핵심 과제인 Level 5 수준의 자율주행 가능 달성을 위해, 도심 협곡(Urban Canyon) 환경에서 GPS 신호의 취약점을 극복하고 LiDAR-SLAM (Simultaneous Localization and Mapping) 기...
freederia.com·5d
🎲Probabilistic Programming
Flag this post
A Negotiation-Based Multi-Agent Reinforcement Learning Approach for Dynamic Scheduling of Reconfigurable Manufacturing Systems
arxiv.org·30m
⚖Algorithmic Game Theory
Flag this post
TOMORROW X TOGETHER ヨンジュン、待望の1stソロアルバムを発売「僕自身を最もよく表現した作品」
news.jp·17h
📊Information Theory
Flag this post
A Dual Perspective on Decision-Focused Learning: Scalable Training via Dual-Guided Surrogates
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Questioning the Requirements
lesswrong.com·1d
🧩Theorem Proving
Flag this post
College football Week 12 odds: Oklahoma at Alabama, Texas at Georgia take center stage
nytimes.com·1d
🔢Mathematical Logic
Flag this post
Rose Bowl seeks temporary restraining order to block UCLA from SoFi Stadium move
nytimes.com·1d
🧫Cellular Automata
Flag this post
Loading...Loading more...