GoKawiil - Latest Tech News & Aggregated Headlines

Normal-order syntax-rules and proving the fix-point of call/cc

news.ycombinator.com Unknown 2025-09-19 22:41:15

Normal-order direct-style beta-evaluator with syntax-rules, and the repeated applications of call/cc The presentation at the Workshop ``Daniel P. Friedman: A Celebration.'' December 4, 2004. Bloomington, IN Normal-order direct-style beta-evaluator with syntax-rules, and the repeated applications of call/cc Repeated applications of call/cc , formally , formally Normal-order direct-style beta-normalizer as syntax-rules Use (2) to prove (1) A few less common examples The title of the talk, i

Topics: cc cps lambda norm stack

Shop Amazon

Being Underweight Might Be Deadlier Than Being Overweight

gizmodo.com Margherita Bassi 2025-09-27 02:20:38

If asked whether one would prefer to be too skinny or fat, chances are most people would reply that they’d rather be too skinny. Distorted standards of beauty and their propagation on social media are certainly to blame for this, in addition to the knowledge that being overweight typically brings along a host of health risks. A new study, however, suggests that being too thin can actually be deadlier. Researchers used health data to investigate the relationship between body mass index (BMI) and

Topics: bmi fat individuals normal people

Shop Amazon

Guillermo del Toro makes Frankenstein his own

theverge.com Andrew Webster 2025-10-06 14:00:00

Posts from this author will be added to your daily email digest and your homepage feed. Frankenstein is one of those stories that’s been retold countless times. And yet, Guillermo del Toro has managed to make a version that not only feels true to Mary Shelley’s original, but is also imbued with the trademarks the director is known for. Maybe that shouldn’t be too surprising — when presenting the film at its premiere at the Toronto International Film Festival this week, del Toro explained that

Topics: film frankenstein like normal story

Shop Amazon

‘V/H/S/Halloween’ Reveals Its Freaky and Festive Trailer

gizmodo.com Cheryl Eddy 2025-10-24 02:30:33

After diving into sci-fi horror with 2024’s V/H/S/Beyond—we’re still stressing over that skydiving segment—the long-running found-footage series returns in October with a theme so perfect we can’t believe it hasn’t been done yet: V/H/S/Halloween. A first trailer has arrived for the Shudder release, and it’s full of tricks, treats, and screaming freak-outs. It’s hard to tell exactly what’s going on there, since the clips are taken from the film’s various elements, but it appears we’ll be getting

Topics: alex casper directed kelly norman

Shop Amazon

SQLite (with WAL) doesn't do `fsync` on each commit under default settings

news.ycombinator.com Unknown 2025-10-31 13:40:38

SQLite (with WAL) doesn't do `fsync` on each commit under default settings SQLite has a WAL mode (the default is journal mode), but you’re likely using it if you want higher write throughput. SQLite also has a PRAGMA called synchronous which configures how fsync is called. The default is NORMAL . This is what the docs say: [..] but WAL mode does lose durability. A transaction committed in WAL mode with synchronous=NORMAL might roll back following a power loss or system crash. In WAL mode when

Topics: file mode normal synchronous wal

Shop Amazon

Simulating and Visualising the Central Limit Theorem

news.ycombinator.com Greg Foletta 2025-11-16 05:11:51

Simulating and Visualising the Central Limit Theorem Categories: Statistics R 34 minutes read I completed a Computer Science degree at uni, and bundled a lot of maths subjects in as electives: partial differential equations, vector calculus, discrete maths, linear algebra. For some reason however I always avoided statistics subjects. Maybe there’s a story to be told about a young person finding uncertainty uncomfortable, because twenty years later I find statistics, particularly the Bayesia

Topics: distribution mean normal population sample

Shop Amazon

How to configure X11 in a simple way

news.ycombinator.com Eugene Andrienko 2025-12-25 14:02:37

Speaking about xrandr . I tried some GUI applications, like arandr, to switch between various multimonitor configurations — but found that they all are using just a limited subset of xrandr features. For example, I can't use mixed DPI settings or scale some outputs with arandr, but I can do it with xrandr: https://mas.to/@evgandr/114394277310057344. Yes, the X can do that! The well-known rumors (usually spreaded by Wayland fans) that only Wayland can do such things — looks like a fake. There a

Topics: axis inverted left normal right

Shop Amazon

A fast 3D collision detection algorithm

news.ycombinator.com Cairn O 2026-01-27 23:12:16

This article will assume some familiarity with narrow phase collision detection methods and associated geometric concepts such as the Minkowski sum. A few years ago I was watching Dirk’s great presentation, The Separating Axis Test between Convex Polyhedra (video, slides). Around the 18 minute mark (slide 29) he starts talking about overlaying Gauss maps of convex polyhedra to find the faces of their Minkowski difference. Figure 1: A gauss map for two convex hulls The upshot is that all faces

Topics: face function normals support vertex

Shop Amazon

Marks & Spencer chair refuses to say if retailer paid hackers after ransomware attack

techcrunch.com Lorenzo Franceschi-Bicchierai 2026-01-30 18:18:23

In Brief The chairman of U.K. retail giant Marks & Spencer declined to tell a panel of lawmakers whether the company paid a hacking group following a ransomware attack earlier this year. “We’ve said that we are not discussing any of the details of our interaction with the threat actor,” said chairman Archie Norman, referring to the ransom payment. “We don’t think it’s in the public interest to go into that subject partly because it is a matter of law enforcement.” Norman said that “nobody” at

Topics: lawmakers marks norman said spencer

Shop Amazon

In praise of “normal” engineers

news.ycombinator.com Unknown 2026-03-05 09:36:41

This article was originally commissioned by Luca Rossi (paywalled) for refactoring.fm, on February 11th, 2025. Luca edited a version of it that emphasized the importance of building “10x engineering teams” . It was later picked up by IEEE Spectrum (!!!), who scrapped most of the teams content and published a different, shorter piece on March 13th. This is my personal edit. It is not exactly identical to either of the versions that have been publicly released to date. It contains a lot of the so

Topics: engineering engineers normal people software

Shop Amazon

In Praise of "Normal" Engineers

news.ycombinator.com Unknown 2026-03-06 03:36:41

This article was originally commissioned by Luca Rossi (paywalled) for refactoring.fm, on February 11th, 2025. Luca edited a version of it that emphasized the importance of building “10x engineering teams” . It was later picked up by IEEE Spectrum (!!!), who scrapped most of the teams content and published a different, shorter piece on March 13th. This is my personal edit. It is not exactly identical to either of the versions that have been publicly released to date. It contains a lot of the so

Topics: engineering engineers normal people software

Shop Amazon

The DMV Isn't Texting You To Ask for Money. That's a Scam

cnet.com See Full Bio 2026-03-12 04:00:00

CNET/Getty Images Nobody likes waiting in line at the Department of Motor Vehicles. But it could be worse. You could be scammed out of money by someone pretending to text you from the DMV. There's a growing nationwide trend of cybercriminals trying to convince people that they owe the DMV money for a traffic violation via text. If you don't pay, they threaten to revoke your license or suspend your vehicle registration. "There's usually some sort of urgent action required in order to avoid hav

Topics: dmv norman said scam text

Shop Amazon

Laika’s ‘ParaNorman’ Is Coming Back to Theaters

gizmodo.com Justin Carter 2026-03-14 14:25:22

If you liked ParaNorman back in the day and wished to see it on the big screen again, you’re in luck. Laika’s stop-motion horror movie is getting a one-week theatrical re-release in 2D and remastered RealD3D on October 23 internationally and October 25 in the U.S. The film’s return marks Laika’s second movie to come to back to theatres following Coraline in 2024 for its 15th birthday, and this will be part of the studio’s 20th anniversary celebration. Screenings will also come with The Thriftin

Topics: film horror laika movie paranorman

Shop Amazon

Me an' Algernon – grappling with (temporary) cognitive decline

news.ycombinator.com Kent Beck 2026-03-10 17:00:54

Originally published May 20, 2015. Since then my cognitive function has made a fairly complete comeback, well except accounting for normal aging. I was reminded of this essay by my experience with augmented coding. That “normal aging” stuff left me without the patience to get set up for coding. With the genie, though, I’m happy to dive into most any project. It’s like wearing an exoskeleton but for my brain. The point remains—don’t take cognition for granted. If you’re augmented coding & you wa

Topics: just normal story symptoms ve

Shop Amazon

Latest Tech News

Normal-order syntax-rules and proving the fix-point of call/cc

Being Underweight Might Be Deadlier Than Being Overweight

Guillermo del Toro makes Frankenstein his own

‘V/H/S/Halloween’ Reveals Its Freaky and Festive Trailer

SQLite (with WAL) doesn't do `fsync` on each commit under default settings

Simulating and Visualising the Central Limit Theorem

How to configure X11 in a simple way

A fast 3D collision detection algorithm

Marks & Spencer chair refuses to say if retailer paid hackers after ransomware attack

In praise of “normal” engineers

In Praise of "Normal" Engineers

The DMV Isn't Texting You To Ask for Money. That's a Scam

Laika’s ‘ParaNorman’ Is Coming Back to Theaters

Me an' Algernon – grappling with (temporary) cognitive decline

About GoKawiil

Privacy

Advertising

Latest Tech News

Trending Topics

Hot Now

Popular

Emerging

About GoKawiil

Privacy

Advertising