Semantic Analysis

Feeds to Scour
SubscribedAll
Scoured 28 posts in 16.7 ms

[rust-compiler] Add release profile: fat LTO, one codegen unit, strip…

 🦀Rust  Content type: Code
github.com
·

Elixir 1.20 adds type inference, boosts compilation speed, and debuts new compiler options

 🔄Concurrency Models
alternativeto.net·

New comment by dsign in "Are you expected to run five Python type-checkers now?"

 🔧PLT  Content type: Discussion

One Language To Rule Them All

 🪜Scala  Content type: Blog

Create Your Own Programming Language with Rust

 🦀Rust

ERC-XXXX: Contract Role Naming Standard

 📐formal specification
ethereum-magicians.org·

nixidy part 4: Typed resource options and CRD generation

 🔍Refinement Types
codedbearder.com·

Running Dialyzer for Elixir Projects in GitHub Actions

 🔄Concurrency Models  Content type: Blog
stratus3d.com·
Less-relevant results

Cursor vs Windsurf: Which AI Code Editor Is Best for Python?

 🤖AI
realpython.com·

5.3 Release 2

 🔍Static Analysis
binary.ninja·

How TypeScript infers type variables

 🔧PLT

Fewer False Positives in RustRover 2026.2|The RustRover Blog

 🔧PLT  Content type: Blog
blog.jetbrains.com·

true-myth.dev — Sympolymathesy, by Chris Krycho

 📐formal specification
v5.chriskrycho.com·

The Boot.dev Beat. June 2026

 🔍Symbolic Execution  Content type: Blog
boot.dev·

0059: NYC and SF?

 🦀Rust

What’s up Python? Pip supports locking, .pth files deprecated

 🔧PLT  Content type: News
bitecode.dev·

Release Pyrefly v1.1.0-dev.2 · facebook/pyrefly

 🔧PLT  Content type: Code
github.com·

Software Engineering is the new Manufacturing Engineering

 🔍Symbolic Execution
halecraft.org··Hacker News

nixidy part 5: Build-time assertions and warnings

 🔍Static Analysis
codedbearder.com·

WARNING: Fake blockchain job interview deploys malware via take home assessment

 📐formal specification  Content type: Blog

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help