HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
241.
▲
Formalizing the H-Principle and Sphere Eversion
dl.acm.org
10 comments
3 years ago
ykonstant
23 points
242.
▲
Bridging Search and Recommendation in Generative Retrieval
dl.acm.org
discuss
2 years ago
saeedesmaili
23 points
243.
▲
A Case for Feminism in Programming Language Design (2024)
dl.acm.org
76 comments
a year ago
smitty1e
22 points
244.
▲
An Analysis of User-Space Idle State Instructions on x86 Processors
dl.acm.org
6 comments
4 months ago
blakepelton
22 points
245.
▲
Stratum: System-Hardware Co-Design with 3D-Stackable DRAM for Efficient Moe
dl.acm.org
4 comments
a month ago
rbanffy
22 points
246.
▲
A Fortran-Compiled List Processing Language (1959) [pdf]
dl.acm.org
4 comments
4 years ago
abrax3141
22 points
247.
▲
On the Dangers of Stochastic Parrots: Can Language Models Be Too Big?
dl.acm.org
3 comments
5 years ago
fortran77
22 points
248.
▲
Ada in China (1994)
dl.acm.org
1 comment
a year ago
todsacerdoti
22 points
249.
▲
A systematic approach to deriving incremental type checkers (2020)
dl.acm.org
discuss
2 years ago
PaulHoule
22 points
250.
▲
SyRust: Automatic testing of Rust libraries w semantic-aware program synthesis
dl.acm.org
discuss
5 years ago
asimpletune
22 points
251.
▲
The Lisp 2 Programming Language and System (1966) [pdf]
dl.acm.org
2 comments
2 years ago
susam
21 points
252.
▲
A Robust Theory of Series Parallel Graphs
dl.acm.org
1 comment
3 years ago
082349872349872
21 points
253.
▲
Conflict-Driven Synthesis for Layout Engines
dl.acm.org
3 comments
3 years ago
luu
20 points
254.
▲
The Data Trust Deficit [pdf]
dl.acm.org
2 comments
3 years ago
adrian_mrd
20 points
255.
▲
Supporting Task Switching with Reinforcement Learning
dl.acm.org
discuss
2 years ago
Topfi
20 points
256.
▲
Who builds a house without drawing blueprints? (2015)
dl.acm.org
47 comments
6 years ago
mxschumacher
19 points
257.
▲
Textbook errors in binary searching (1988)
dl.acm.org
14 comments
7 years ago
segfaultbuserr
19 points
258.
▲
Record Linkage and the Universal Identifier (1972)
dl.acm.org
1 comment
3 years ago
cxr
19 points
259.
▲
C is not a Low Level Language
dl.acm.org
10 comments
a year ago
skadamat
18 points
260.
▲
C Is Not a Low-level Language: Your computer is not a fast PDP-11 (2018)
dl.acm.org
14 comments
a year ago
bundie
17 points
261.
▲
Fail-slow at scale: Evidence of performance faults in large systems (2018)
dl.acm.org
3 comments
4 years ago
zdw
17 points
262.
▲
Oasis: Pooling PCIe Devices over CXL to Boost Utilization
dl.acm.org
2 comments
6 months ago
blakepelton
17 points
263.
▲
Workings of Science: Debunked Software Theories (2022) [pdf]
dl.acm.org
2 comments
9 months ago
waldarbeiter
17 points
264.
▲
Boosting Compiler Testing by Injecting Real-World Code
dl.acm.org
2 comments
2 years ago
matt_d
16 points
265.
▲
Dissecting innovation thresholds with Vinton Cerf
dl.acm.org
discuss
2 years ago
nephronaut
16 points
266.
▲
Citus: Distributed PostgreSQL for Data-Intensive Applications (SIGMOD '21)
dl.acm.org
discuss
4 years ago
ozgune
16 points
267.
▲
Clockhands: Rename-Free Instruction Set Architecture for Out-of-Order Processors
dl.acm.org
5 comments
3 years ago
g0xA52A2A
15 points
268.
▲
The Thoralf plugin: for your fancy type needs
dl.acm.org
2 comments
8 years ago
anqurvanillapy
15 points
269.
▲
Meta II: Digital Vellum in the Digital Scriptorium
dl.acm.org
discuss
3 years ago
surprisetalk
15 points
270.
▲
Repurposing Discarded Smartphones for Cloud Microservices to Minimize Carbon
dl.acm.org
4 comments
3 years ago
nemoniac
14 points
More