artjom's Top FindsLoading...

Subscribe

HotPast HourTodayThis WeekThis MonthSubscribed Feeds

All Feeds

High-Level Synthesis SynthesisCompilersFMSPOcaml

stefanabikaram.com•

6 hours ago•

Discuss: Hacker News•

Show Feeds

Designing a Distributed SQL Engine: Challenges and DecisionsQOFMSPDatabases

oceanbase.medium.com•

2 days ago•

Discuss: Hacker News•

Show Feeds

The Programmer's ClimbSPCompilersNPFM

vivekhaldar.com•

8 hours ago•

Discuss: Hacker News•

Show Feeds

Benchmarking Crimes Meet Formal VerificationFMSP

microkerneldude.org•

16 hours ago•

Discuss: Hacker News•

Show Feeds

Ember: A Compositional Framework for Compound AI SystemsCompilersSPFMOcamlNP

github.com•

2 days ago•

Discuss: Hacker News•

Show Feeds

Principles of Chaos Engineering (2019)SPFM

principlesofchaos.org•

18 hours ago•

Discuss: Hacker News•

Show Feeds

My Notes on CRAQ – Chain Replication with Apportioned QueriesQOSP

uds5501.github.io•

an hour ago•

Discuss: Hacker News•

Show Feeds

Inception: The self-embedding compiler in Stak SchemeCompilersSPFM

raviqqe.com•

2 days ago•

Discuss: Hacker News•

Show Feeds

IBM PC Code Page 437 to Unicode Mapping TableOcaml

mw.rat.bz•

9 hours ago•

Discuss: Hacker News•

Show Feeds

Accidentally Turing-CompleteFMCompilersOcaml

beza1e1.tuxen.de•

11 hours ago•

Discuss: Hacker News•

Show Feeds

Computer Architects Can't Find the AverageSPFM

dgsq.net•

2 hours ago•

Discuss: Hacker News•

Show Feeds

CloudEvents: A specification for describing event data in a common waySP

cloudevents.io•

8 hours ago•

Discuss: Hacker News•

Show Feeds

New C++ features in GCC 15CompilersOcaml

developers.redhat.com•

2 days ago•

Discuss: Hacker News, r/cpp•

Show Feeds

Requirements change until they don'tFMSPCompilers

buttondown.com•

3 days ago•

Discuss: Lobsters, Hacker News•

Show Feeds

AI at the Edge of GovernmentSP

edgeanlaysis.substack.com•

5 hours ago•

Discuss: Substack•

Show Feeds