Handbook of Satisfiability (2021)
🔧Functional programming
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.org·6h
⚡Algebraic Effects
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·5d
⚡Algebraic Effects
Flag this post
My dumb prompts that worked better
blog.nilenso.com·1d
🔧Functional programming
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·1d
⚡Algebraic Effects
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
🎲Roguelike development
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.org·6h
🌳BSP Trees
Flag this post
Problems with Problem Solving
🔧Functional programming
Flag this post
Beyond computational assumptions: How BGKW replaced hardness with isolation
🔲Cellular Automata
Flag this post
Bitcoin Core now has an interface for its consensus code - TheCharlatan
github.com·17h
⚡Algebraic Effects
Flag this post
Lately, coding with Claude has been very smooth. I am able to complete experiments on time.
⚡Algebraic Effects
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·6h
🔲Cellular Automata
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·1d
⚡Algebraic Effects
Flag this post
Connectivity Structure and Dynamics of Nonlinear Recurrent Neural Networks
journals.aps.org·1d
🔲Cellular Automata
Flag this post
Loading...Loading more...