Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
811.
Web 3.0 Requires Data Integrity (dl.acm.org)
2 points
hn_acker
a year ago
discuss
812.
Animating rotation with quaternion curves (1985) (dl.acm.org)
2 points
teleforce
a year ago
discuss
813.
Computer science as empirical inquiry (1975) (dl.acm.org)
2 points
1sembiyan
a year ago
discuss
814.
The unwritten contract of solid state drives (dl.acm.org)
2 points
fanf2
a year ago
discuss
815.
A programmable programming language (2018) (dl.acm.org)
2 points
teleforce
a year ago
discuss
816.
Rationale for the RBAC96 family of access control models (1996) (dl.acm.org)
2 points
mooreds
a year ago
discuss
817.
A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Apps (dl.acm.org)
2 points
matt_d
a year ago
discuss
818.
Development of Robotic Device That Performs Head Bunting to Relieve User Tension (dl.acm.org)
2 points
bookofjoe
a year ago
discuss
819.
Towards Modern Development of Cloud Applications (dl.acm.org)
2 points
gwbas1c
a year ago
discuss
820.
Turing.jl: a general-purpose probabilistic programming language (dl.acm.org)
2 points
moelf
a year ago
discuss
821.
Program logics à la carte (dl.acm.org)
2 points
fanf2
a year ago
discuss
822.
Particle-Laden Fluid on Flow Maps (dl.acm.org)
2 points
PaulHoule
a year ago
discuss
823.
Formal mechanised semantics of CHERI C: capabilities, undefined behaviour, and p (dl.acm.org)
2 points
fanf2
a year ago
discuss
824.
Students' Use of GitHub Copilot for Working with Large Code Base (dl.acm.org)
2 points
azhenley
a year ago
discuss
825.
An approach to generate correctly rounded math libraries for new floating point (dl.acm.org)
2 points
fanf2
a year ago
discuss
826.
Role of Composition in Computer Programming (1995) (dl.acm.org)
2 points
todsacerdoti
a year ago
discuss
827.
Scalable, high performance Ethernet forwarding with CuckooSwitch (2013) (dl.acm.org)
2 points
MrAlex94
a year ago
discuss
828.
AIGPU: An Arithmetic-Intensity-Guided Single-GPU Scheduling Model (dl.acm.org)
2 points
teleforce
a year ago
discuss
829.
Computational Thinking (2006) [pdf] (dl.acm.org)
2 points
__rito__
a year ago
discuss
830.
Parallel sections: scaling system-level data-structures (dl.acm.org)
2 points
fanf2
a year ago
discuss
831.
A Novel Multi-Hop Query Answering System Based on a Large Knowledge Graph (dl.acm.org)
2 points
rntn
a year ago
discuss
832.
Novice and Experienced Software Devs Compare Online and In-Person Collaboration (dl.acm.org)
2 points
rntn
a year ago
discuss
833.
Principles of Programming Languages (POPL) 2025 Proceedings (dl.acm.org)
2 points
matt_d
a year ago
discuss
834.
Mimic: A fast System/370 simulator for the IBM RT PC. (1987) (dl.acm.org)
2 points
fanf2
a year ago
discuss
835.
Lexical analysis and parsing techniques for a vector machine (1975) [pdf] (dl.acm.org)
2 points
camel-cdr
a year ago
discuss
836.
Finding bugs in database systems via query partitioning (2020) (dl.acm.org)
2 points
fanf2
a year ago
discuss
837.
Eracan: Defending Against an Emerging CAN Threat Model (dl.acm.org)
2 points
gnabgib
a year ago
discuss
838.
The consequences of one's first programming language (dl.acm.org)
2 points
bilsbie
2 years ago
discuss
839.
Letters to the editor: go to statement considered harmful (1968) (dl.acm.org)
2 points
pseudolus
2 years ago
discuss
840.
Hints for Computer System Design (1983) – Lampson's timeless principles (dl.acm.org)
2 points
killme2008
2 years ago
discuss
More