💻 computer science - jc00ke

BioMedGraphica: An All-in-One Platform for Joint Textual Biomedical Prior Knowledge and Numeric Graph Generation

🦆duckdb Blog

medium.com

Modernizing Healthcare: How Alcidion achieved greater stability and performance with AlloyDB

🐘postgres Blog

cloud.google.com·

Hybrid Search for RAG: Fix Retrieval Accuracy in AI

🐘postgres Blog

pingcap.com·

crafting with code: how architects reinvent making through robotics and digital fabrication

🔢Homomorphic Encryption

designboom.com·

a topos-oriented language with a content-addressed lattice heap

🔢Homomorphic Encryption

yon-lang.org··Hacker News

Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa

🦀rust Blog Discussion

serokell.io·

Redis 8.8: major update with array data structure & performance boosts

⚗️elixir

alternativeto.net·

Why the need for humans won’t disappear in the age of autonomous databases

🦆duckdb

thenewstack.io·

On the Complexity of Signed Domination

🔢Homomorphic Encryption Academic

arxiv.org·

Passing DBs Through Continuations

🦆duckdb Blog

remy.wang··Lobsters, Hacker News

Java Sock Merchant Problem: Solutions with Arrays and HashSets

⚗️elixir

javacodegeeks.com·

Learn SQL Once, Use It for 30 Years

🐘postgres Discussion

news.ycombinator.com··Hacker News

Turing universal neural networks do not require global clocks

🔢Homomorphic Encryption Academic

nature.com··Hacker News

Introduction - Rust for Python Programmers

🦀rust

microsoft.github.io··Hacker News

Proceedings of the 14th edition of the conference on Random Generation of Combinatorial Structures

➗mathematics Academic

arxiv.org·

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

➗mathematics Code

github.com··Hacker News

The Comprehensive Guide to Elixir's List Comprehension

⚗️elixir

mitchellhanberg.com·

BioMedGraphica: An All-in-One Platform for Joint Textual Biomedical Prior Knowledge and Numeric Graph Generation

Proof System Timelines

The Future of Software Development Isn’t Writing More Code — It’s Building Smarter Systems

Implementing Customer Segmentation in Python: From Transactions to Actionable Customer Groups

Modernizing Healthcare: How Alcidion achieved greater stability and performance with AlloyDB

Hybrid Search for RAG: Fix Retrieval Accuracy in AI

crafting with code: how architects reinvent making through robotics and digital fabrication

a topos-oriented language with a content-addressed lattice heap

Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa

Redis 8.8: major update with array data structure & performance boosts

Why the need for humans won’t disappear in the age of autonomous databases

On the Complexity of Signed Domination

Passing DBs Through Continuations

Java Sock Merchant Problem: Solutions with Arrays and HashSets

Learn SQL Once, Use It for 30 Years

Turing universal neural networks do not require global clocks

Introduction - Rust for Python Programmers

Proceedings of the 14th edition of the conference on Random Generation of Combinatorial Structures

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

The Comprehensive Guide to Elixir's List Comprehension