progscrape: lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety

Names are not type safety

4 years ago lexi-lambda.github.io

type safety vs statically typed

4 days ago reddit.com go

VoidStruct: Store/Retrieve structs with type-safety using VoidDB

3 days ago reddit.com go

Monads are not like burritos

12 hours ago byorgey.github.io historical

Trump administration cuts 'Safety' from AI Safety Institute

13 days ago nbcnews.com ai trump

java mooc exercises are not not showing after part 2

3 days ago i.redd.it java

Rsync's defaults are not always enough

17 days ago rachelbythebay.com devops

Not all tokens are meant to be forgotten

13 days ago arxiv.org

Abstract Data type

15 days ago reddit.com go

Type Inference Zoo

24 hours ago zoo.cuichen.cc compiler

why JS tools are rewritten in rust and not Go?

17 days ago reddit.com go javascript rust

WWDC 2025: Apple Says Personalized Siri Features Are Still Not Ready

8 days ago macrumors.com apple siri wwdc

Zig-style generics are not well-suited for most languages (2022)

7 days ago typesanitizer.com plt zig

building my own chemical AI safety prod

10 days ago reddit.com ai python

Secret to 100% Type-Safe TypeScript - tRPC eliminated our API type hell

6 days ago beyondit.blog api typescript

JVM Runtime Parametric Type Support

15 days ago mail.openjdk.org java

The joy of (type) sets

46 hours ago bitfieldconsulting.com go

Psychological Safety in Engineering Teams with Titus Winters

12 days ago aviator.co

Why does my ripped CD have messed up track names? And why is one track missing?

5 days ago akpain.net

Trump Administration To Rebrand Biden-Era Artificial Intelligence Safety Institute, Commerce Secretary Says At AI Honors: “We’re Not Going To Regulate It”

12 days ago deadline.com ai trump

UK Renewable Energy Firms are Being Paid Huge Sums to Not Provide Power

9 days ago bbc.com

Type-based vs. Value-based Reflection

8 days ago brevzin.github.io c++

“Bugs are 100x more expensive to fix in production” study might not exist (2021)

16 days ago theregister.com

Hedge funds are replacing a programming language with Rust, but it's not C++

8 days ago efinancialcareers.co.uk c++ rust

Hedge funds are replacing a programming language with Rust, but it's not C++

7 days ago efinancialcareers.com c++ rust

What is your opinion on Rust's type system if compared with languages with even stronger type systems?

5 days ago reddit.com rust

Boeing machinist exposes ongoing safety problems following last year’s strike

11 days ago wsws.org boeing

Memory Safety Isn’t Just Rust: A Serious Look at GC

3 days ago gizvault.com rust

Investigation into 4chan and its compliance with the Online Safety Act

2 days ago ofcom.org.uk

Parsing, Not Guessing

2 days ago codehakase.com go

Dietary Sugar Intake and Incident Type 2 Diabetes Risk

10 days ago sciencedirect.com diabetes

>progscrape ▒

All the news that's fit to scrape

Names are not type safety

type safety vs statically typed

VoidStruct: Store/Retrieve structs with type-safety using VoidDB

Monads are not like burritos

Trump administration cuts 'Safety' from AI Safety Institute

java mooc exercises are not not showing after part 2

Rsync's defaults are not always enough

Not all tokens are meant to be forgotten

Abstract Data type

Type Inference Zoo

why JS tools are rewritten in rust and not Go?

WWDC 2025: Apple Says Personalized Siri Features Are Still Not Ready

Zig-style generics are not well-suited for most languages (2022)

building my own chemical AI safety prod

Secret to 100% Type-Safe TypeScript - tRPC eliminated our API type hell

JVM Runtime Parametric Type Support

The joy of (type) sets

Psychological Safety in Engineering Teams with Titus Winters

Why does my ripped CD have messed up track names? And why is one track missing?

Trump Administration To Rebrand Biden-Era Artificial Intelligence Safety Institute, Commerce Secretary Says At AI Honors: “We’re Not Going To Regulate It”

UK Renewable Energy Firms are Being Paid Huge Sums to Not Provide Power

Type-based vs. Value-based Reflection

“Bugs are 100x more expensive to fix in production” study might not exist (2021)

Hedge funds are replacing a programming language with Rust, but it's not C++

Hedge funds are replacing a programming language with Rust, but it's not C++

What is your opinion on Rust's type system if compared with languages with even stronger type systems?

Boeing machinist exposes ongoing safety problems following last year’s strike

Memory Safety Isn’t Just Rust: A Serious Look at GC

Investigation into 4chan and its compliance with the Online Safety Act

Parsing, Not Guessing

Dietary Sugar Intake and Incident Type 2 Diabetes Risk

All the news that's fit to scrape

Related Stories