HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Formal Verification in Any Language for Everybody (lean 4)
dev-log.me
4 comments
2 months ago
wazHFsRy
14 points
2.
▲
Formal Verification in Any Language for Everybody
dev-log.me
discuss
3 months ago
yannick-cw
4 points
3.
▲
It's hard to build the right thing
dev-log.me
discuss
3 months ago
yfk999
3 points
4.
▲
I Have Trust Issues with My AI. Canary Comments Help
dev-log.me
discuss
4 months ago
wazHFsRy
3 points
5.
▲
AI to stay in Flow – a personal decision on how I chose to (not) use AI
dev-log.me
discuss
4 months ago
wazHFsRy
2 points
6.
▲
Jokes on You AI: Turning the Tables – LLMs for Learning
dev-log.me
discuss
5 months ago
wazHFsRy
2 points