skysight-inc/HackerNews huggingface dataset:
> It's amazing, people come from all over the place. We had one bloom about 18 months ago and a guy saw it on the webcam in Texas and immediately got in his car so that he could make it for the blooming. And he drove day and night and got to San Diego 14 hours later.

This is the kind of guy I could be friends with.
The author criticizes some design choices made by the paper's authors as not being simple enough. However, in fairness to that paper, it's aiming for dependently typed lambda calculus and, for reasons of continuity of exposition, is probably making sub-optimal choices up front that pay off later. The distinction between inferable and checkable types, for example, doesn't really pay off until you need to do beta-reduction in the type checker. The author of the present article has the luxury of stopping early, with just an STLC implementation.
"May" or "will"? The only example given here is a passenger who got bumped from first to economy.

I hate American Airlines (and most airlines) as much as the next person, but I have to say that it seems much more the norm to hold a whole plane to allow people to get on who would've missed than it is to write them off. I've been on both ends of that.
I have used a FLIR TG267 at work to find if parts are failing and while it's only 120x160 it works pretty well because it can overlay thermal coloration over a standard camera which really lets you use those pixels for temperature not identification.

This lets you know "ah this transistor is dead" instead of "what I am I even looking at".
And if you were to complain, then you'd be gambling with the vindictiveness level of the gate agents.
I like that analogy. I have one of those slicers and every time I use it I have two thoughts. First, this slices so quick and evenly. Second, there's a whole lot more I have to clean up compared to the knife.
Didn’t they raise at a $200 million valuation
Examples have been discussed here [0] before.

[0] https://news.ycombinator.com/item?id=4331688
A little imagination goes a long way:

- poison in the bedroom is someone’s bedside medicine that would be fatal to someone that wasn’t prescribed it.
- some people have ceremonial/sentimental knives on display, above a mantle for example.
- a gun could easily be stored in a drawer near a door, like a police officer taking off their gun and badge when they get home, or a farmer keeping a varmint pistol for east access when going out to a field.
- the rope could have been in a utility closet in the bathroom, like where laundry machines are sometimes installed.

Poison could be put on a toothbrush (bathroom), cologne bottle (bedroom), tv remote (living room), or a plate (kitchen) and kill without having to be present.

Part of the fantasy is imagining why those things would be where they are; it doesn’t have to be realistic.
> System-wide rules against bad behavior are a lot more efficient.

I don't want Apple making many system-wide rules on behavior, even on Apple's own systems (which they share with their users.)

That being said, they're very right about this. Making the distinction between, on one side, apps that are useless without accounts (like banking apps) or apps that are made to help with already existing accounts, and on the other side apps that are just forcing accounts to capture and control the users, is a smart and thoughtful move.
> or you can go and use it and see if it is on that scale

I’ll never know because I don’t have a Twitter account and I can’t seem to see Tweets without logging in anymore.

Can you tell me what it’s like now?
> It just so happens to contrast heavily against Musk withdrawing Twitter more & more

I mean, why do you think Facebook _made_ Threads? It's hard to imagine them launching something like this outside the context of "Twitter is in trouble"; it would be dead on arrival.
> I have no interest in languages that lack modern, robust, stable, up-to-date libraries.

I guess JavaScript is out then. ;-)
Wasm and unikernels are more complimentary than competitive. You could actually run wasm in something like wasmer or wasmtime wrapped inside Nanos wrapped inside Firecracker if you wanted to.

I think as you point out where wasm can shine are the function-as-a-service platforms, although the memory safety issues would probably need to be addressed at some point (writing to 0x0, no ro mem, etc.).
I've sort of been in a similar position in the last 2-3 years. I jumped ship because i got tired of an older career where i spent 15 years, hoping I'd get into consulting and work on startup projects I like. I'll be honest and say it didn't go as planned and sometimes i wish i didn't jump ship that fast even though i am a very calculating individual.
To be fair though, if you have a very long financial runway and you got a very strong support system, both of which i didn't have, your risk might be less. But the risk is there.
I mean, some otherkin have (/identify as having) four paws. But that's still not enough to do anything lol
> Ansible also runs slower in PyPy than CPython

Do you know the reason?
It's hard to imagine a devex good enough to compensate for "every so often you need to revisit all the code ever written in this language."
> From a company like meta I would expect more thoughtful product naming.

Really? I mean, see their _own_ name.
In that case what pattern do you use for integrations?
I seem to recall Golang being inspired by it too, but I could be misremembering.
Most panel warranties cover hail up to like 1" diameter. So, pretty sizable. Beyond that, you need insurance.
> https://www.blender.org/about/history/

citing from the link:

> On Sunday, October 13th, 2002, Blender was released under the terms of the GNU General Public Licence, the strictest possible open-source contract. Not only would Blender be free, but its source code would remain free, forever, to be used for any purpose whatsoever.

keep this in mind when you pick a software license.
Nothing. It's great. But it's the wrong tool for the job. Like teaching someone to stop a car by using the speedometer to estimate when to let go of the accelerator pedal, instead of introducing them to the brake pedal.
In the early days they had to - all the hardware was non-standard. Where would one get 36 bit memory cards? Where would one get CPUs which had a Lisp-specific instruction set? In those early days the computer (refrigerator size) would sit in a machine room (with enough power) and the user would be in his/her room with only a console (plus maybe a second monitor), keyboard and mouse - connected via a long console cable to the machine in the machine room. That was the experience for the programmer/user. The machine itself could have a lot of peripherals: network, tape drive, memory boards, color boards, frame grabber, disk drives, cpu accelerator, ... the programmer would see the driver code.

At some point in time they produced cards for the SUN VMEBus and for the Mac Nubus. Then the only thing left was the keyboard.

So, I agree, the Lisp Machine concept was a combination of Hard- and Software. The emulators of today only provide some of the software parts...
That seems incredibly cool and I'd love to be able to play with and use it! Definitely doesn't sound like something that requires docker.

Plus I always have a soft spot for cool tools written in PHP :)
It is quite hard to write about. Suppose you are defending the claim. Your conclusion that ‘All knowledge is relative’ inherently seems like a non-relative assertion of knowledge. ‘All knowledge is relative except this statement’ seems like cheating (can you say why this one is special without absolutes?). So you have to approach the conclusion obliquely at best.
Fellow PC builder here - Noctua fans are good but aren’t the only option. My Arctic fans are whisper silent and cost a third of the price of equivalent Noctua fans.
"How can I identify if a binary file is set-user-ID?"
https://unix.stackexchange.com/questions/192588/how-can-i-id...

test -u "$(type -p ping)" && echo "the suid bit on ping is set"
ls -l "$(type ping)"
Go has surprisingly little in common with Oberon or Modula (mostly the receiver syntax of Oberon-2 bound procedures). The coroutines were not a language feature of Modula, but a library feature; also the Oakwood guidelines of Oberon (not by the original authors) include a coroutine API, but I'm not sure whether there was a working implementation.
What the hell is `:@:`? Cannot google that, and the GHC docs don't tell either.
Russian.
As a developer I don't mind that other people don't do work. If they want to stagnate in their career that is their problem, but it certainly isn't a problem for me... until they make it my problem. This typically happens when entitlement sets in and the baseline lowers so dramatically that not doing work becomes a mandatory expectation only shattered by the crying when conveniences are peeled away.

Worse than that are the people who work their ass off, but just aren't good at it. I would rather work with people who prefer to not do work. The output is generally the same, but the people who work their asses off cannot see the difference and believe they somehow deserve more.

In my career the single biggest failure that I see repeated EVERYWHERE is confusion about what software really is. There is only one purpose to any of this: automation. In that mantra actually not doing work is supremely desirable so long as the output meets expectations.
> The LLVM backend is not officially supported by FP

It used to be a separate project but these days is part of the main development branch. Though indeed the OS and CPU support is very limited.

Also i agree about the micro benchmark comparison, they tend to exaggerate differences. FWIW in my own programs i never found Free Pascal's code generator to be inadequate.

I do not remember the exact difference but last year i did compile my 3D game engine with the LLVM backend and the difference was small enough for me to decide that i don't want to bother with the much slower compile times.
So even if you were an Olympic sprinter and show up for a close connection, they already went ahead and gave away the seat you paid for without asking you. That's next level gotcha capitalism.
> Totally agree. the "gun" that forced him to write his X came from his own lawyers, which is why he is sueing what was his own lawyers.

Eh? Wachtell were Twitter's lawyers, not his. He hired a different firm to try to get out of the contract.
Is it possible to put some translucent protective material that doesn't block the frequencies the panels absorb?
+1, Nomad is fantastically simple (but still flexible), and gives you the proper level of insight into the nature of orchestration and distributed container workloads without bogging you down with arbitrary figments of "because Kubernetes" complexity.

After spending a day with Nomad, I feel I fully understand how this could get nightmarishly complicated in a Kubernetes way, and what that would look like, and why someone would want that in some situations. All the understanding without pointless but exacting detours.
Any language will be fast enough with enough modern hardware.

But it’s not “just Python”.

The OS state that needed to be loaded is not Python.

The network gear firmware is not just Python.

The databases are not Python.

Where it becomes just Metas Python is after a whole lot of other necessary work is done by other smarter people (the ones who master the physics of building the machines), not just some dweebs who got pulled the internet onto the host.

These articles are just primate rage bait
The point isn’t to strive for equality, it’s to curate a healthy ecosystem.

Sure, the world is rife with ethical concerns.
Didn't look at the article, but I was disappointed that Wimbledon doesn't have automated line calls. Most atp/wta tournaments above a certain level have no line judges these days.
One customer isn't going to make a difference. Customers need to band together and boycott as a bloc.
In the same vein, most of our energy comes from oxygen, not the food we eat :-)

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6379287/
Comparing this to Threads is not sensible. That’s not really a new user signup. It’s a conversion from another service using the same sign in info. Definitely not a fair comparison.
I had this same idea the other day. Got as far as creating an AppleScript to send iMessages then got bored.

Gratz on shipping!
I always thought that Ada was underrated. Personally I appreciate features like memory safety, a standard concurrency model, support for unit/measurement types, and ahead-of-time compilation.

Ada's Pascal-like syntax seems verbose to me but isn't hard to read. And VHDL is based on Ada syntax, perhaps making it easier for people who are working in both languages.

Swift seems to check some of those boxes (and adds many other convenient features including closures, automatic reference counting, type inference, etc.) I don't know about measurement types, but it seems they should be doable. There doesn't seem to be a Swift-like HDL yet though.
Then why hasn't it self corrected?
> This vastly understates the work involved. Most C extensions and embeddings will require major structural changes or even rewrites.

Why?

Once you have a threaded Python, you can allocate one thread to run with a GIL and the other threads without it. Old extensions can access one thread with the old GIL API and new extensions can access all the things with the GIL-less API.

People who want the performance will rewrite their extension. People who don't, won't.
Nobody is shoving a gun in people's faces in these stories about retail crime. People are just taking stuff off shelves and not paying for it.
And it's OUR fault these people are allowed to continue existing unimpeded in society.

Just so we're all on the same page.
* firewalls - nanos.org is a go unikernel running on GCP and we punch holes for it to talk on https

* security - nanos supports much of the same security you'll see on linux but provides more: aslr, no stack/heap exec, rodata no exec, text no write, no null mapping; virtio-rng (for some clouds where it is supported - not everywhere it is), pledge, unveil, honestly - there's a lot here

* monitoring - plenty of apm vendors work out of the box but also things like cloudwatch, and our own custom service as well

* performance measurement - we have things like ftrace and many other tools

* backup - pretty easy to clone vms

* auditing - glad you pointed this out as this becomes much much easier; we actually analyzed a bunch of STIGs and measured the reduction for each STIG as compared to nanos - scroll down to the page here: https://nanovms.com/security - essentially if you are in a regulated industry like finance, health or defense this is a major benefit

* fs ACLs - we have unveil support and many other nanos specific things
I'm a bit torn on this one. On the one hand its easy to see how it could become a problem for the gorilla if it is so engrossed in videos that it ignores behaviors of others to the degree that it becomes a target of bullying or loses status.

On the other hand, this is a bit different from a child. The average human child has plenty of opportunity for interactions with many, many other children. It goes on excursions with its family. It almost certainly has _some_ screen time. The child also has very stimulating and varied activities at school every day.

I'm sure the zoo provides some enrichment for the gorillas. But since they are in the same environment constantly, I doubt that the staff have the funding or time to really keep them engaged or entertained or challenged on a daily basis.

It's quite possible that the apes are extremely bored most of the time and tired of their enclosure.

So maybe it can be a wake up call for them to double down on their enrichment activities and consider a little more supervised screen time. But probably they are doing the best they can.

I imagine the hardest part is not being able to freely take the gorillas out of that actual enclosure to truly different environments.
> You're just making up arbitrary rules that you apply inconsistently. My language has…

I’m not sure what your language has, but you definitely hit the nail on the head with your inadvertent description of the English language: (seemingly) arbitrary rules applied inconsistently.

You’re absolutely correct that an inexperienced lab assistant does not refer to the lab.

The GP isn’t wrong either.
> (Everyone else should probably skip Pascal and take a look at Modula-2 and Oberon.)

I did check out Oberon-07 because of its minimalism but i really couldn't get over the SHOUTY keywords :-P.

(Wirth used uppercase for Pascal's keywords too but unlike Oberon, Pascal is not case sensitive - my pet theory is that Oberon is case sensitive as a reaction to Pascal programmers not using shouty capitalization :-P)
> But it slows the industry, when you can't do API refactors and have to keep bad decisions forever.

It slows the industry when you're spending all your time rewriting code that already works.

The question is, who is slowed down: API creators or API users? If you make regular breaking changes to APIs, it's API users who get slowed down, if you don't it's API creators who get slowed down.

Given the entire point of things that have APIs (libraries, frameworks, centralized services, etc.) is that there are many users and few creators, it's pretty clear which slows down more people.

Additionally, with good API design, you can often maintain namespaced APIs in tandem with very little additional cost. I've got a /v1/blah API and a /v2/blah API on one of my clients' websites--the v1 directory hasn't been touched in 7 years, because all the bugs anyone cares about have been fixed. It still has users (at least officially, I haven't looked at the reporting to see how often they're actually hitting those APIs). The users simply don't care about the new features in the new API, and it's not our place to force them to care.

You can do similar things with libraries (think sqlite vs. sqlite3) but this is obviously harder with frameworks (which is one of the reasons to not like frameworks). It doesn't work everywhere but it works often.
>simple question : have you encountered an anti-cheat mechanism that works to stop cheaters?

>I haven't.

I have. Quite a number in fact, despite me wishing it didn't. Elden Ring used EAC to huge effect here.
Open Letter to Tim O’Reilly to Free the Perl Camel
Dear Tim,

I've been thinking about this letter for a while now.

There was a time (an eternity in IT age) where you did a lot for Perl and I thank you so much for this

But time passed and Perl has lost its value to your eyes.

Thanks to you Perl inherited a logo: the camel
But because of you, Perl actually never had a logo at all

Over the years, you never ever made the Perl camel open enough for us (Perl community) to freely use or modify.
Consequently, we are in a very uncomfortable position.

Let's just use a new logo, what's the point?

No, it's not that simple and we were never able to achieve this.

As of today, we are torn between:

- Your camel that we are not allowed to use

- A shadowed camel derived from your camel, still problematic even if it's de facto used everywhere

- An onion that is not Perl but foundation logo (and not even free to use/modify)

- A raptor that some people don't like or don't recognize well the association

- Various other attempts

It's a long standing problem with numerous discussions, attempts and continuous frustrations for us.

Now, the thing is, only YOU can fix this

And it's time.

So I'm asking solemnly, free the Perl camel!
And do it with a nice and clear license.

#FreeThePerlCamel

Please.

Thibault

Notes: it was sent to permissions@oreilly.com, I don't have an answer yet
Right? I aspire to be more like this.

But people count too much on me...

Actually, it's my PM that tells the stakeholders that we are committing to these tasks in these sprints. I never said those words. I just estimated.
I don't stay away. I frequently get stuck in, calling the police, ambulance and fire services for people, assisting epileptics in shops and planes, helping lost children, picking up random dogs and returning them to their owners...

Why do you think life is too short, I've always thought it the perfect length, do divulge what it is that takes the time for you?
Why do you assume it hasn't?
I always see all this terrible Java stuff, but the world hasn't ended and people who use Java all seem to say it's actually great for large enterprisy stuff.

Are these FactoryFactoryFactories secretly some kind of busywork conspiracy to keep all the "Coding for the sake of coding" engineers busy doing mostly harmless nonsense rather than deciding to make their own assembly language based on JSON that gets interpreted with buggy regex?

Like, I could work with a factoryfactoryfactory. It's just random nonsense, but there's not a lot of actually content.

If someone writes their own PEG parser in Forth, and then embeds a handwritten forth interpreter, and then writes the application in their own language, I'll be completely lost.

I'd rather deal with stupid boring enterprise code that does nothing than clever hacks.
Nomad is worth learning and something that can feasibly orchestrate your containers at home, as well.
I don't know about the complexity of your extension, but the PEP provides per-container locks ("This PEP proposes using per-object locks to provide many of the same protections that the GIL provides. For example, every list, dictionary, and set will have an associated lightweight lock. All operations that modify the object must hold the object’s lock").

This is automatic via the PyList_GetItem/SetItem API, so I guess the error you're talking about is that you read a list y = [A, ...], your code reads A and copies the data to (new) A2, and then you iterate over it again and see that A != A2 because another thread has modified y?
I work the same way now and I completely agree with you. MS stuff isn't perfect and if they don't provide what I need I generally find the most popular thing on Nuget or roll my own.

Meanwhile in JS land things are all over the place. My last team had multiple apps using all of the following and more: JQuery, Vue, AngularJS, React and Svelte. Design was done in Patternlab but had to be manually copied over and translated to cshtml and some parts were done in one of the aforementioned Js frameworks.

To me that was a nightmare. I think most stuff didn't need any JS frameworks at all, and trying to understand pages rendered partly in cshtml and partly in a Js framework is terrible, especially when they're all different.
As someone who works in banking - We don't show anything other than login and enrollment (and maybe a link for account opening, if the FI has it). Apple has yet to complain.
I see, thought you were using GPT-3.5 and moved to GPT-4.
NATO absolutely has air superiority in Ukraine.

How they choose to exercise that is an exercise for you, the reader, whoever would like - not this comment.
Docker is really easy. A few lines to describe your environment and a handful of commands (docker build, run, ps, images) and you are up and running.

Orchestration is more complex, but not too bad if you are using a managed platform.

A few days and you can get your head around it enough to get started with huge payback in efficiency.

After that, you can spend years really going deep on K8s and fully containerised stacks, but that’s more for DevOps/Cloud engineers rather than Devs.
> it was Apple’s policy that apps cannot punish users or exit() the app in retaliation for them denying a permission

It's been the same since runtime permissions on Android, which was like Marshmallow i believe

https://developer.android.com/training/permissions/requestin...
The eternal return of the same :)
which Pascal compiler is it - Embarcadero or FPC?
For every popular, well-engineered extension, I suspect there are a dozen hacked-together ones which will break the moment the GIL guarantees disappear.