HN user

shadytrees

1,303 karma
Posts33
Comments238
View on HN
security.googleblog.com 1y ago

Building security into the redesigned Chrome downloads experience

shadytrees
2pts0
ianthehenry.com 5y ago

Getting Drunk Wth Datalog

shadytrees
3pts0
ianthehenry.com 5y ago

Getting Drunk Wth Datalog

shadytrees
3pts0
ianthehenry.com 5y ago

Sd: My Script Directory

shadytrees
128pts21
medium.com 5y ago

The Pinterest Paradox: Cupcakes and Toxicity

shadytrees
1pts0
medium.com 5y ago

Porting Redux Architecture to Swift (Well, for a Toy macOS App Anyway)

shadytrees
11pts0
neilmadden.blog 6y ago

Public key authenticated encryption and why you want it (Part I)

shadytrees
2pts1
hao.codes 10y ago

Using JSON files as if they were Haskell values

shadytrees
1pts0
m.sfweekly.com 11y ago

Former Google engineer claims she was sexually harassed

shadytrees
10pts2
royrapoport.blogspot.com 12y ago

Coffee and its Effects on Feature Creep (2011)

shadytrees
253pts46
blog.fogcreek.com 13y ago

Dive into parser combinators: parsing search queries with F# and FParsec in Kiln

shadytrees
3pts0
www.cypherspace.org 14y ago

The quest for the most diminutive munitions program

shadytrees
2pts0
prog21.dadgum.com 14y ago

A walkthrough for adding a vector and reasoning in Forth

shadytrees
1pts0
research.swtch.com 15y ago

Yacc is not dead

shadytrees
49pts11
morepypy.blogspot.com 15y ago

Controlling PyPy's meta-tracer JIT with hints, part one. (Carl Friedrich Bolz)

shadytrees
3pts0
www.inkling.com 15y ago

Inkling: interactive textbooks on the iPad.

shadytrees
65pts32
eigenclass.org 16y ago

Ocamlmq: a 1200-line low-key alternative to ActiveMQ and RabbitMQ.

shadytrees
36pts5
grumpygamer.com 17y ago

The creator of Monkey Island plays and narrates his game, 20 years later.

shadytrees
104pts26
www.spectrum.ieee.org 17y ago

The Wizardry of Id: a profile of John Carmack's programming (David Kushner)

shadytrees
42pts7
waxy.org 17y ago

Webby Awards: Trading your relevance for profit (Andy Baio).

shadytrees
1pts0
drj11.wordpress.com 17y ago

Dither and gamma (David Jones)

shadytrees
2pts0
lbrandy.com 17y ago

A quick journey (with a heat graph) into optimizing for cache. (Louis Brandy)

shadytrees
3pts0
eigenclass.org 17y ago

Optimizing OCaml global illumination rendering code (MiniLight) by Mauricio Fernández.

shadytrees
19pts4
eli.thegreenplace.net 17y ago

Solving some problems caused by recursion in recursive descent parsers. (Eli Bendersky)

shadytrees
4pts0
drj11.wordpress.com 17y ago

How to beat out OptiPNG by one byte.

shadytrees
1pts0
en.wikipedia.org 17y ago

In 1999, Kasparov played chess against 50000 people.

shadytrees
33pts25
www.slate.com 17y ago

A short profile of aXXo (of scurvy movie pirate fame) on Slate

shadytrees
1pts0
gonzolabs.org 17y ago

Videos of people dancing out their PhD research

shadytrees
1pts0
eigenclass.org 17y ago

OCaml kicks ass on Tim Bray's Wide Finder 2 benchmark challenge. Again.

shadytrees
18pts9
www.ted.com 17y ago

John Hodgman at TED: Lost time, aliens, and hacking UFOlogy for love.

shadytrees
1pts0
Helium Browser 10 months ago

Scroll through his X account -- Charlie Kirk and DHH content are some recent entries. He is one of those people who thinks tech should be apolitical without really interrogating what apolitical means or how it affects people who have been marginalized by politics

Kling's politics aside, he's also had a history of abandoning projects after hyping them up on social media and attracting contributors. Here is what happened to SerenityOS and jakt, for example:

https://github.com/SerenityOS/serenity/graphs/commit-activit... https://github.com/SerenityOS/jakt/graphs/commit-activity

If Cloudflare wants to defend the future of the web, maybe they could also throw a few dollars towards projects with better governance and aren't helmed by a BFDL with a spotty record and are written in a more future-proof language than C++ [0]. (For example, Servo.)

[0]: In Kling's own words! https://web.archive.org/web/20250819053816/https://awesomekl...

What's New in F# 9 2 years ago

Rider's recent free non-commercial license makes F# a much more attractive option for macOS, I think

I made fermented hot sauce once, and i don't think it was sufficiently different to other kinds to be worth doing again. But then, i have only done it once!

+1. I spent hours lovingly sanitizing and prepping and waiting for habaneros to ferment; in the end, they added a bit of funky tang, but I didn't feel like it was worth the time. I realized that vinegar-based hot sauce recipes are quicker to iterate on and perfect and taste closer to what I prefer.

However, it's all subjective! Watching something ferment in a container is inherently fun, in the way a terrarium with a small creature in it can be. YMMV.

Yes, this article is borrowing liberally from Passage of Power (2012), the fourth book:

Lucy’s father was not as pleased with his new quarters. Two days after the Johnsons moved in, he told West, “Mr. West, if you can’t get that shower of mine fixed, I’m going to have to move back to The Elms.”

“He didn’t sound as if he were joking,” West was to say. And after the President explained that the water pressure was inadequate, and that he wanted the same elaborate, multi-nozzle arrangement that he had had at his former home, he repeated his threat to move out. Then, “without a smile, he turned on his heel and walked away.”

A few minutes later, Mrs. Johnson asked West to come by the room she had chosen for her once, a small sitting room with one door. “I guess you’ve been told about the shower,” she said, with a smile, and repeated to West what she said to all Johnson employees. “Anything that ... needs to be done, remember this: my husband comes first, the girls second, and I will be satisfied with what’s left.”

As he became acquainted with the Johnsons, West was to write, “I soon could see that had been her life’s pattern.” Nothing, he came to see, could “faze her.”

The person who founded Elliott Management (Paul Eliott Singer) is far from a saint, but he has been astonishingly accurate during his career. According to Wikipedia (I did a big deep dive into this hedge fund and person after reading the submitted article), he warned about CDOs in 2006. The hedge fund also exited its holdings in Twitter in June 2022, right before the Musk-pocalypse.

I'm kind of astounded the article didn't talk about Paul Singer at all. It seems like a massive oversight to not dig into the money behind Barnes and Noble.

Yes, raising an exn in OCaml is close to jumping to an address stored in a register. https://stackoverflow.com/a/8567429

As a result, raising and catching exns in OCaml is cheap. List.fold_until in Base, for example, is implemented with exceptions: https://github.com/janestreet/base/blob/ae169dc8097b3da8e99d... (With_return is internally implemented by raising an exception in a try-with.)

Implementations of functional programming languages often have powerful, yet fast!, non-local control-flow primitives. GHC recently sprouted delimited continuations (https://ghc.gitlab.haskell.org/ghc/doc/users_guide/9.6.1-not...), for example, and Lisps have had that for much longer. It's easy to program in an imperative language for a long time and think that straight-line control flow is the end-all, be-all for performance—but it doesn't have to be the case.

I agree!! I think having APL be a embedded domain-specific language is the perfect fit. I don't want to give up record and union types when I'm programming something large; but some piece of the app I'm writing will want to perform vector math or compute order statistics, and for that there's nothing better than APL. Note that Python and numpy is shockingly close to this state of the world already: Python's the general language, and numpy is the beautiful vector escape hatch. If only Python and numpy were statically typed.

This is what got me and my friend into APL-likes. My friend even made an APL-like towards the end. I assert that APL is one of the main, definitional pillars of programming languages, the way Lisp and C and Prolog are. It is extraordinarily easy to build an APL with scalar and vector support -- once you start thinking about higher-dimensional data structures, though, it is the ergonomics and the design that become subtle and tricky. (Ivy, in particular, does some questionable things at with multi-dimensional matrices.) Also, if you think of APL operators as verbs, perhaps there should be adverbs that lift the verbs up into higher dimensions...

Yes, there's the NSEvent ecosystem.

Cocoa also lets you two-way bind a state object with the view as long as the state object (whether it's a controller or a model or a view model) implements key-value coding; notably, the blessed data framework (Core Data) is KVC-compliant, so apps that use Core Data sort of get all this for free. Core Data also has fairly good support for undo/redo. That being said, Core Data is a fairly idiosyncratic relational data layer. It's sort of a double-edged sword: it's easy to do 90% of what you want, and the last 10% will involve some deep dives into Apple's documentation. But it's been a long time since I've written an app on OS X -- someone will have to correct my errors.

I've long thought that the inverse of what the OP suggests, bringing reactive UI programming techniques to Cocoa, would be much more interesting. Making native apps just as easy and as fun to build as web apps would be great! ReactiveCocoa/ReactiveSwift are promising, but the underlying, mutation-heavy Apple APIs still peek through. SwiftUI also seems promising, but still relatively immature to the, gosh, decades-old OS X platform.