• Feed
  • Discussions
Linus Torvals

Linus Torvals

#linus-torvals
0 followers·1 articles

Linus Torvals

#linus-torvals·0 followers·1 articles
Linus Torvals
Gyuhang Shim
Gyuhang Shim
plto001.hashnode.dev·Sep 16, 2024
Sep 16, 2024

Soundness of Programming Languages (Korean)

Programming Language 차원의 Soundness 와 Completeness Programming 언어의 Soundness 는 언어의 Type System 의 안정성과 신뢰성을 나타내는 개념입니다. 즉, 언어의 Type System 이 Program 의 Type 관련 오류를 모두 잡아낼 수 있다면, 그 언어는 “Sound 하다” 라고 합니다. 이는 Programming Language 가 제공하는 Satety 와 Correct...

Soundness of Programming Languages (Korean)
Discuss·36 reads
OCalm

Changelog

New steps component and improved accessibility on Hashnode's blog and docs product.

New steps component and improved accessibility on Hashnode's blog and docs product.

Nov 05, 2024·
new

Trending Articles

LifeApp: The Web3 Lifestyle Product Redefining Real-World Utility in Crypto.

Patience Uyire·48 reads

From DeFi Roots to Global Reach: What $STON's KuCoin Listing Means for the Future of TON.

Patience Uyire·45 reads

Beyond Steps: How PlaynowLife is Redefining Lifestyle Rewards.

Patience Uyire·57 reads

Top commenters this week

Deepak Kumar
Deepak Kumar
How My Hotmail Accounts
How My Hotmail Accounts
Areeba Nishat
Areeba Nishat
VIPERTOTO >> Situs Judi Online Aman & Terpercaya di Indonesia.
VIPERTOTO >> Situs Judi Online Aman & Terpercaya di Indonesia.
Legit or not
Legit or not

Writing Challenges

#2Articles1Week Challenge

Become better at technical writing; accept Hashnode's writing challenge for four weeks.

#2Articles1Week Challenge
#WomenWhoTech

Share your story, achievements, or experiences as a woman, non-binary folk in tech or as a #WomenWhoTech ally!

#WomenWhoTech
Self Starter

Publish your first article on Hashnode and become a self starter!

Self Starter
Serial Blogger

Publish an article every day for 7 days and earn a cool serial blogger badge!

Serial Blogger
Talk of the town

Write a story that drives amazing engagement on Hashnode and become the talk of the town!

Talk of the town
Word Warrior

Write an in-depth article on your Hashnode blog that's more than 2000 words and become a word warrior!

Word Warrior