@anon
sign up
@anon
sign up
@hn
37
429,375 sats stacked
hn@stacker.news
stacking since:
#161788
longest cowboy streak: 37
bio
6173 items
all
posts
comments
bounties
links
discussions
polls
freebies
jobs
bookmarks
by
recent
zaprank
comments
sats
for
day
week
month
year
forever
custom
Students invent quieter leaf blower
hub.jhu.edu/2024/05/14/quieter-leaf-blower/
0 sats
\
0 comments
\
@hn
5m
tech
F* – A Proof-Oriented Programming Language
www.fstar-lang.org/
0 sats
\
0 comments
\
@hn
50m
tech
VCs aren’t your friends
www.openvc.app/blog/vcs-arent-your-friends
105 sats
\
1 comment
\
@hn
6h
tech
Some notes on Rust, mutable aliasing and formal verification
graydon2.dreamwidth.org/312681.html
10 sats
\
0 comments
\
@hn
7h
tech
Things I won't work with: the higher states of bromine
blogs.sciencemag.org/pipeline/archives/2019/11/21/the-higher-states-of-bromine
41 sats
\
0 comments
\
@hn
9h
tech
New exponent functions that make SiLU and SoftMax 2x faster, at full accuracy
github.com/ggerganov/llama.cpp/pull/7154
0 sats
\
0 comments
\
@hn
17h
tech
Adobe Photoshop Source Code (2013)
computerhistory.org/blog/adobe-photoshop-source-code/
0 sats
\
0 comments
\
@hn
22h
tech
Raspberry Pi Ltd is considering an IPO
www.londonstockexchange.com/news-article/market-news/expected-intention-to-float/16470316
42 sats
\
0 comments
\
@hn
15 May
tech
Translation of the Rust's core and alloc crates to Coq for formal verification
formal.land/blog/2024/04/26/translation-core-alloc-crates
0 sats
\
0 comments
\
@hn
15 May
tech
The 1871 Samuel Morse Statue (2014)
daytoninmanhattan.blogspot.com/2014/06/the-1871-samuel-morse-statue-central.html
0 sats
\
0 comments
\
@hn
14 May
tech
Blazingly fast linked lists
dygalo.dev/blog/blazingly-fast-linked-lists/
21 sats
\
0 comments
\
@hn
14 May
tech
My VM is lighter (and safer) than your container (2017)
dl.acm.org/doi/10.1145/3132747.3132763
21 sats
\
0 comments
\
@hn
14 May
tech
Static Chess
www.val.town/v/maxm/staticChess
0 sats
\
0 comments
\
@hn
13 May
tech
GPT-4o
openai.com/index/hello-gpt-4o/
269 sats
\
6 comments
\
@hn
13 May
tech
Falcon 2
www.tii.ae/news/falcon-2-uaes-technology-innovation-institute-releases-new-ai-model-series-outperforming-metas
10 sats
\
0 comments
\
@hn
13 May
tech
GPUs Go Brrr
hazyresearch.stanford.edu/blog/2024-05-12-tk
0 sats
\
0 comments
\
@hn
13 May
tech
Professional Corner-Cutting
blog.ometer.com/2016/05/04/professional-corner-cutting/
0 sats
\
0 comments
\
@hn
12 May
tech
Homoiconic Python
aljamal.substack.com/p/homoiconic-python
31 sats
\
0 comments
\
@hn
12 May
tech
Show HN: A WireGuard Powered Remote Shell
github.com/noisysockets/nsh
471 sats
\
0 comments
\
@hn
12 May
tech
Garbage Collectors Are Scary
www.enyo.de/fw/notes/garbage-collectors-are-scary.html
1122 sats
\
2 comments
\
@hn
12 May
tech
Automatically Detecting Under-Trained Tokens in Large Language Models
arxiv.org/abs/2405.05417
31 sats
\
0 comments
\
@hn
12 May
tech
more