niftycent.com
NiftyCent
IT
Login
Mercato
Sconti

F*: A proof oriented general purpose programming language

Article URL: https://fstar-lang.org/

Comments URL: https://news.ycombinator.com/item?id=42508642

Points: 25

# Comments: 0

https://fstar-lang.org/

Creato 1mo | 25 dic 2024, 17:10:12


Accedi per aggiungere un commento

Altri post in questo gruppo

Only 1 in 10 Oracle Java users want to stay with Big Red
Only 1 in 10 Oracle Java users want to stay with Big Red

Article URL: https://www.theregister.com/2025/01/29/only_one_in_ten_oracle/

Comments URL:

29 gen 2025, 18:50:16 | Hacker news
Case Study: ByteDance Uses eBPF to Enhance Networking Performance
Case Study: ByteDance Uses eBPF to Enhance Networking Performance

Article URL: https://ebpf.foundation/case-study-bytedance-uses-ebpf-to-enhance-networking-perfor

29 gen 2025, 18:50:16 | Hacker news
Effective AI code suggestions: less is more
Effective AI code suggestions: less is more

Article URL: https://www.qodo.ai/blog/effective-code-suggestions-llms-less-is-more/

Comments URL:

29 gen 2025, 18:50:15 | Hacker news
Society for Technical Communication to permanently close its doors
Society for Technical Communication to permanently close its doors

Article URL: https://www.stc.org/

Comments URL: https://news.ycombinator.com/item?id=42867324

29 gen 2025, 18:50:13 | Hacker news
Frigade (YC W23) is hiring engineer #2
Frigade (YC W23) is hiring engineer #2

Article URL: https://www.ycombinator.com/companies/frigade/jobs/KUwAluN-senior-full-stack-engineer

29 gen 2025, 18:50:11 | Hacker news
DeepSeek's Hidden Bias: How We Cut It by 76% Without Performance Loss
DeepSeek's Hidden Bias: How We Cut It by 76% Without Performance Loss

Article URL: https://www.hirundo.io/blog/deepseek-r1-debiased

Comments URL:

29 gen 2025, 18:50:10 | Hacker news
An analysis of deepseek's R1-Zero and R1
An analysis of deepseek's R1-Zero and R1

Article URL: https://arcprize.org/blog/r1-zero-r1-results-analysis

Comments URL:

29 gen 2025, 18:50:09 | Hacker news
Techie
Techie