Latest Tech News

Stay updated with the latest in technology, AI, cybersecurity, and more

Filtered by: dependent Clear Filter

Identity Types

news.ycombinator.com Unknown 2025-09-28 08:15:23

Previously: Models of (Dependent) Type Theory. There is a deep connection between mathematics and programming. Computer programs deal with such mathematical objects as numbers, vectors, monoids, functors, algebras, and many more. We can implement such structures in most programming languages. For instance, here’s the definition of natural numbers in Haskell: data Nat where Z :: Nat -- zero S :: Nat -> Nat -- successor There is a problem, though, with encoding the laws that they are supposed t

Topics: dependent equality identity nat type
Read More
Shop Amazon

Kefir: Solo-developed full C17/C23 compiler with extensive validation

news.ycombinator.com Unknown 2025-10-17 12:34:56

To whom it may concern, Today I release Kefir — an independent C17/C23 compiler. Solo-built. Extensively validated, for x86_64 & System-V ABI. With SSA-based optimization pipeline, DWARF-5 support and position-independent code generation. What? Implements the C17/C23 standard. Plus certain GNU C extensions. For Linux (glibc & musl), FreeBSD, OpenBSD, NetBSD. Extensive and transparent validation suite. Compiles and runs well-known open source projects — GNU core- and binutils, Curl, Git, Ngi

Topics: code compiler gnu independent optimization
Read More
Shop Amazon

Gen-Z’s Social Media Addiction May Have Ironically Led to an Indie Cinema Revival

gizmodo.com Lucas Ropek 2025-12-15 04:20:02

During the pandemic, movie theaters notably struggled, as social distancing restrictions all but temporarily killed their business model. Many smaller, independent theaters went out of business permanently. However, since the pandemic has ebbed, the film industry has slowly recovered. Attendance in theaters is not exactly where it was prior to the pandemic, but attendance is significantly higher than it was during Covid, and continues to climb. A new article published by The Guardian suggests t

Topics: billion independent sales theaters young
Read More
Shop Amazon

Cybertruck Burned So Severely That Its Driver's Bones Disintegrated

futurism.com Unknown 2026-03-31 11:32:44

A Cybertruck owner in Texas was burned to death after crashing his vehicle in a ditch and becoming trapped inside. According to a lawsuit filed by his widow and parents against the Elon Musk-led EV maker, the fire burned so hot that his bones literally disintegrated. The 47-year-old, named Michael Sheehan, "burned to death at 5,000°F — a fire so hot his bones experienced thermal fracture," the lawsuit reads, as quoted by The Independent. "He was eight inches shorter in length than he was befo

Topics: burned cybertruck death independent inside
Read More
Shop Amazon
Trending Topics
Hot Now
ai 3945 apple 3235 new 2579 google 2179 content 1842
Popular
like 1614 company 1513 pro 1459 iphone 1297 app 1214 zdnet 1169 said 1165 data 1144 does 957 reviews 939
Emerging
amazon 918 editorial 918 game 887 samsung 823 phone 819 android 797 pixel 784 just 779 users 747 available 737
About GoKawiil

GoKawiil is a project by nerdhub.co that curates technology news from trusted sources. We built this site to provide a cleaner, more mobile-friendly experience without intrusive ads or heavy JavaScript.

Privacy

Your privacy matters. GoKawiil doesn't use Google Analytics or Facebook Pixel. The only tracking occurs through affiliate links to Amazon.

Advertising

Interested in advertising? Contact us at [email protected]