GoKawiil - Latest Tech News & Aggregated Headlines

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

news.ycombinator.com Unknown 2025-09-20 13: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

Implicit ODE solvers are not universally more robust than explicit ODE solvers

news.ycombinator.com Christopher Rackauckas 2025-09-24 06:41:51

A very common adage in ODE solvers is that if you run into trouble with an explicit method, usually some explicit Runge-Kutta method like RK4, then you should try an implicit method. Implicit methods, because they are doing more work, solving an implicit system via a Newton method having “better” stability, should be the thing you go to on the “hard” problems. This is at least what I heard at first, and then I learned about edge cases. Specifically, you hear people say “but for hyperbolic PDEs

Topics: explicit implicit lambda method methods

Shop Amazon

Implicit ODE Solvers Are Not Universally More Robust Than Explicit ODE Solvers

news.ycombinator.com Christopher Rackauckas 2025-09-24 21:41:51

A very common adage in ODE solvers is that if you run into trouble with an explicit method, usually some explicit Runge-Kutta method like RK4, then you should try an implicit method. Implicit methods, because they are doing more work, solving an implicit system via a Newton method having “better” stability, should be the thing you go to on the “hard” problems. This is at least what I heard at first, and then I learned about edge cases. Specifically, you hear people say “but for hyperbolic PDEs

Topics: explicit implicit lambda method methods

Shop Amazon

Implicit Ode Solvers Are Not Universally More Robust Than Explicit Ode Solvers

news.ycombinator.com Christopher Rackauckas 2025-09-25 12:41:51

A very common adage in ODE solvers is that if you run into trouble with an explicit method, usually some explicit Runge-Kutta method like RK4, then you should try an implicit method. Implicit methods, because they are doing more work, solving an implicit system via a Newton method having “better” stability, should be the thing you go to on the “hard” problems. This is at least what I heard at first, and then I learned about edge cases. Specifically, you hear people say “but for hyperbolic PDEs

Topics: explicit implicit lambda method methods

Shop Amazon

Anonymous recursive functions in Racket

news.ycombinator.com Unknown 2025-10-06 17:39:33

Anonymous recursive functions in Racket Context Some languages, like PowerShell, have “anonymous recursive functions”. That is, normally, a function needs to use a name to refer to itself to recur. But “anonymous recursion” means the language has some special mechanism by which the function can refer to itself without having to explicitly introduce a name. In some contexts, this is called an anaphoric reference. Code Here we show how we can easily implement this feature in Racket. The file a

Topics: anonymous body function lambda rec

Shop Amazon

Cloud provider Lambda may be gearing up for an IPO

techcrunch.com Rebecca Szkutak 2025-10-13 09:43:06

In Brief Cloud provider Lambda might be following rival CoreWeave to the public markets. Lambda, an AI infrastructure company offering on-demand GPUs, has hired bankers for an upcoming IPO, according to reporting from The Information. Lambda has reportedly hired Morgan Stanley, J.P. Morgan, and Citi for a public listing that could happen as early as the first half of 2026. Lambda did not respond to a request for comment. The company has raised more than $1.7 billion in funding, according to

Topics: according company lambda morgan public

Shop Amazon

Lisp interpreter with GC in <750 lines of Odin (and <500 lines of C)

news.ycombinator.com Unknown 2025-10-13 12:35:32

komplott / komplodin A tribute to: Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I (as found in paper/recursive.pdf ) A micro-subset of scheme / the original LISP in a single C file: komplott.c ! New in 2025! The LISP interpreter translated to Odin in komplodin.odin . More lines of code, but I am less familiar with the language and am translating directly from C, so there are probably ways to make it a cleaner solution. When I posted this to lobste.rs,

Topics: car cdr equal fun lambda

Shop Amazon

Lamborghini’s new plug-in hybrid is the fastest car its ever built

theverge.com Andrew J. Hawkins 2025-11-15 12:00:00

is transportation editor with 10+ years of experience who covers EVs, public transportation, and aviation. His work has appeared in The New York Daily News and City & State. Posts from this author will be added to your daily email digest and your homepage feed. Lamborghini makes fast cars; this is an indisputable fact. So when the iconic Italian automaker says it’s new plug-in hybrid is both “the most powerful V12 every built” and “the fastest Lamborghini ever,” you should pay attention. At M

Topics: electric fenomeno lamborghini new revuelto

Shop Amazon

How to draw lambda diagrams (2020)

news.ycombinator.com Unknown 2025-12-25 20:57:31

If you don’t want spoilers for my puzzle a few days ago, don’t read ahead! I think lambda diagrams are extremely cool, and haven’t seen any detailed description on how they work online. I’ll start by showing some very simple examples of lambda diagrams, and then build up to more complicated ones. First of all, what are lambda diagrams? They are pictorial representations of lambda expressions, and hence count as a pictorial system for a large portion of mathematics. I will assume that you under

Topics: function lambda line λx λy

Shop Amazon

A circle and a hyperbola living in one plot

news.ycombinator.com Tolam'S Blog 2026-01-03 10:51:39

We will see that the 3D plot of $x^2 + (y + zi)^2 = 1$, where $x$, $y$, $z$ are real and $i$ is the imaginary unit, contains both a circle and a hyperbola. This visualization sheds light on the complex eigenvalues of real matrices. Let’s start by expanding the equation $x^2+(y+zi)^2 = 1$ and separating it into real and imaginary parts. We get: \[\begin{align*} &\text{Real Part:} &x^2 + y^2 - z^2 &= 1, \\ &\text{Imaginary Part:} &yz &= 0. \end{align*}\] The condition $yz=0$ split

Topics: align lambda mu real text

Shop Amazon

The Cult of the Lamb comic is coming back with the Schism Special this fall

engadget.com Unknown 2026-01-21 04:10:27

We're officially getting more of the Cult of the Lamb comic expansion. Following last year's miniseries, which built on the game's existing lore and injected some real emotional depth, writer Alex Paknadel and artist Troy Little are returning to the story of the Lamb and their followers in a one-shot 48-page issue that's due out in the fall from Oni Press. Cult of the Lamb: Schism Special #1 will be available on October 29 for $8, with covers by Troy Little and Peach Momoko, alongside a foil var

Topics: cult game lamb little story

Shop Amazon

Lamborghini follows successful racing Huracan with new Temerario GT3

arstechnica.com Unknown 2026-01-23 03:30:42

The Goodwood Festival of Speed is currently taking place in the UK; the event is part garden party, part hill climb, and plenty of auto show as car makers small and large unveil their vehicle du jour. Among those whipping satin covers off new machinery was Lamborghini. It's replacing the venerable Huracan and its howling naturally aspirated V10 engine with the plug-in hybrid Temerario, another wedge-shaped all-wheel drive mid-engined supercar, now with even more power. The road-going car has bee

Topics: car cars gt3 lamborghini racing

Shop Amazon

Entropy of a Mixture

news.ycombinator.com Unknown 2026-02-15 12:11:30

Entropy of a Mixture Given a pair ( p 0 , p 1 ) (p_0, p_1) (p0,p1) of probability density functions and an interpolation factor λ ∈ [ 0 , 1 ] , \lambda \in [0, 1], λ∈[0,1], consider the mixture p λ = ( 1 − λ ) p 0 + λ p 1 . p_\lambda = (1 - \lambda) p_0 + \lambda p_1. pλ=(1−λ)p0+λp1. How does the entropy H ( p λ ) = − E ⁡ X ∼ p λ ln ⁡ p λ ( X ) H(p_\lambda) = -\E_{X \sim p_\lambda} \ln p_\lambda(X) H(pλ)=−EX∼pλlnpλ(X) of this mixture vary as a function of λ \lambda λ? The widget below

Topics: kl lambda p0 p_0 p_1

Shop Amazon

Apple @ Work: LambdaTest puts Apple Silicon to work for GenAI testing with MacStadium

9to5mac.com Bradley C 2026-02-17 05:00:00

Apple @ Work is exclusively brought to you by Mosyle, the only Apple Unified Platform. Mosyle is the only solution that integrates in a single professional grade platform all the solutions necessary to seamlessly and automatically deploy, manage & protect Apple devices at work. Over 45,000 organizations trust Mosyle to make millions of Apple devices work ready with no effort and at an affordable cost. Request your EXTENDED TRIAL today and understand why Mosyle is everything you need to work with

Topics: apple lambdatest mosyle silicon work

Shop Amazon

Lamborghini Revuelto review: perfect harmony

theverge.com Peter Nelson 2026-02-17 04:00:00

With the dawning of a new era of hybridization in the automotive industry, more and more manufacturers are integrating electric propulsion into their lineups. Mild-hybrid systems are well-established, and more beneficial plug-in hybrid systems keep getting better and better. Even Lamborghini’s participating in the latest wave of hybridization, which might come as a surprise to some. That’s because this Italian company’s outlandish supercars have never been regarded as thrifty, or ever trying to

Topics: fuel high hybrid lamborghini revuelto

Shop Amazon

Latest Tech News

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

Implicit ODE solvers are not universally more robust than explicit ODE solvers

Implicit ODE Solvers Are Not Universally More Robust Than Explicit ODE Solvers

Implicit Ode Solvers Are Not Universally More Robust Than Explicit Ode Solvers

Anonymous recursive functions in Racket

Cloud provider Lambda may be gearing up for an IPO

Lisp interpreter with GC in <750 lines of Odin (and <500 lines of C)

Lamborghini’s new plug-in hybrid is the fastest car its ever built

How to draw lambda diagrams (2020)

A circle and a hyperbola living in one plot

The Cult of the Lamb comic is coming back with the Schism Special this fall

Lamborghini follows successful racing Huracan with new Temerario GT3

Entropy of a Mixture

Apple @ Work: LambdaTest puts Apple Silicon to work for GenAI testing with MacStadium

Lamborghini Revuelto review: perfect harmony

About GoKawiil

Privacy

Advertising

Latest Tech News

Trending Topics

Hot Now

Popular

Emerging

About GoKawiil

Privacy

Advertising