skysight-inc/HackerNews huggingface dataset:
Even though (let (x 5) (* x x)) is wrong, it parses. We know that it has an operator, followed by two arguments, and the first argument is made up of two things.

Because it parses, I don't have to correct the author's punctuation, just their understanding of the necessary shape . The wrong shape they wrote has a coherent syntax, and we can discuss the problem in terms of differences in syntax, rather than differences between gibberish and valid syntax.

This is why your question is able to be, "are these expressions equivalent" and not "are these two token sequences equivalent".

I can write a TDD test case for a new macro that doesn't exist yet, which won't bring down the program.

E.g. (test (my:let (x 5) (+ x x)) 10)

This will catch the error that foo is not defined and report that the test case failed instead of returning the expected 42 value. The next test case in the same file can execute.

You couldn't have a test for new C++ or Java syntax, in a C++ or Java file being processed by a compiler that wasn't maintained in order to recognize the syntax. The file will blow up at parse time, not allowing any of the test cases in it to proceed.

> You need to know the syntax of the f macro to answer the question.

But I can see what that syntax is: it's (f (g x)) right there: i.e.

/\
f /\
/\ ()
g /\
x ()

g and x are clumped together, so they have a closer relationship of some kind than either one has with f, at least syntactically. From looking at the use, I don't know whether it is valid shape for f, or if so, what other shapes are valid. And I don't know the semantics at all.

I'm not struggling with syntax, though, just connecting it with a meaning.
I read that as well, but on Anbox GitHub (https://github.com/anbox/anbox/commits/master) there are some recent cosmetic changes, so maybe it is "just" sleeping, not completely abandoned :)
the sophon strategy
Umm. Removing KYC requirements just makes it easier to launder dirty money. Why would we do that? As it is the US is considered a safe-heaven for dirty money - google South Dakota trusts.
“Fighting crime as crime” is meaningless.
EDIT: I replied to you before you edited your post.
I'm only going to reply to your original comment as the walls of text you are generating after you got so triggered are very cumbersome to reply to.

> Wait, you reply was a joke? I don't get it.

The joke was a reference to how much "maga" is in people's head thanks to left-wing outlets like CNN, so much you saw it in the project name.

> Was there an obscure computer science or information theory or networking protocol reference that I missed?

It was a purely political joke, as you shifted the conversation to politics...

> It just sounded like I hurt your feelings by implying that it was bad to name a project only 1 Levenshtein distance measurement away

I'm fine, thanks for your concern! From your replies, it seems like I hurt your feelings. Maybe don't reference politics if you can't handle responses from the other side!

> from such a horribly disreputable deeply disgraced hateful racist conspiracy theory associated four letter curse word as MAGA.

Ah see there it is, that's the sentiment you wanted to suggest with your thinly veiled levenshtein "joke".
Maga is not racist, you simply don't agree with it. Not everyone who disagrees with you is a racist.
This is also not the place to bring it up. Keep politics out of the purely technical articles please!

> At the risk of spoiling it, please walk me through what's funny about your counter-joke about CNN step by step, and how trying to criticize somebody by doing the exact same thing you're attempting to do with a much less funny joke, then continuing to complain about it without posting any other interesting jokes or comments or links, isn't simply humorless hypocrisy?

The joke is the thing you hate the most is constantly in your head!

> I'm sorry you're so touchy about the word MAGA!

Not at all, I simply made a reply to your political commentary / levenshtein joke, you went off, so now I'm replying.

I do however think it wasn't appropriate for this thread and it distracts from the actual content.

> I did't expect anyone here to take such knee-jerk offense

Again, no offense taken, but you seem to have taken offense from the CNN comment. Sorry for that if so.

> and I'll be glad to offer you a full non-apology apology about how I'm sorry you decided to be so offended

Again, no apology needed. Thank you though!

> if you can only explain to me why you're so triggered by the mention of the fact MAGA is such a negative word to associate with a project

Not "triggered" as I'm not the one who blew up with a wall of text and it's not a negative word.

I support "maga" and if you're a liberal/socialist/marxist for whatever reason that's fine. I made a joke you made a joke.
What's the issue? If you don't want to hear politics don't reference politics first.

> and what's so funny about your counter-joke about CNN.

The fact that you hate "maga" so much yet it occupies your mind! Living rent free I believe is the phrase.
> not just the mouthpiece of some think tank ad campaign.

Uh huh. Here's his "worker's pledge." It is literally "be a good little peasant worker drone" bullshit:

I believe that I have won the greatest lottery of all time. I am alive. I walk the Earth. I live in America. Above all things, I am grateful.

I believe that I am entitled to life, liberty and the pursuit of happiness. Nothing more. I also understand that "happiness" and the "pursuit of happiness" are not the same thing.

I believe there is no such thing as a "bad job." I believe that all jobs are opportunities, and it's up to me to make the best of them.

I do not "follow my passion." I bring it with me. I believe that any job can be done with passion and enthusiasm.

I deplore debt, and do all I can to avoid it. I would rather live in a tent and eat beans than borrow money to pay for a lifestyle I can't afford.

I believe that my safety is my responsibility. I understand that being in "compliance" does not necessarily mean I'm out of danger.

I believe the best way to distinguish myself at work is to show up early, stay late, and cheerfully volunteer for every crappy task there is.

I believe the most annoying sounds in the world are whining and complaining. I will never make them. If I am unhappy in my work, I will either find a new job, or find a way to be happy.

I believe that my education is my responsibility, and absolutely critical to my success. I am resolved to learn as much as I can from whatever source is available to me. I will never stop learning, and understand that library cards are free.

I believe that I am a product of my choices – not my circumstances. I will never blame anyone for my shortcomings or the challenges I face. And I will never accept the credit for something I didn’t do.

I understand the world is not fair, and I’m OK with that. I do not resent the success of others.

I believe that all people are created equal. I also believe that all people make choices. Some choose to be lazy. Some choose to sleep in. I choose to work my butt off.
Being physically active, and forced to be so with external consequences, really does help with one's mental state.
Love it. Years I use it as my HN front page.
They are talking specifically about the built-in incremental compiler of the Eclipse IDE, not the whole IDE experience.
https://www.pbtech.co.nz/brand/Raspberry%20Pi?sfr=raspberry+...
> the whole thing should be marketed more like "Proxmox with batteries included".

It's not though. Even if you make all the "NAS software" part of the jails (or the half-baked Kubernetes in TrueNAS SCALE), it's not even close to Proxmox when it comes to managing VMs, containers/jails, firewall, networking, etc.
Yeah that webcam looks too new tech to be from 1994. That kind of device made for clipping to a laptop is mid-2000's tech. Early webcams were round or square and came on their own stand. More importantly, USB 1.0 was only standardized in 1996... so originally it must have been a serial or parallel port peripheral that may or may not have needed a separate digitizer, and it was almost certainly black-and-white. Maybe it was the Connectix QuickCam.

The reporter seems entirely too young to know how to capture how archaic the thing really was.
I think Garriot said originally he stepped out of the fire instinctively. Then remembered "Wait I'm invincible I can stand in fire." Then proceeded to stand in the fire and die.

Which is kinda funny as it's become a meme about WoW players standing in fire and dying when they couldn't just moved. (To much frustration to healers)

https://wowpedia.fandom.com/wiki/Stay_out_of_the_fire
> The pandemic didn't cause the current decline in college enrollment, which started years ago with a demographic shift: A sharp drop in births after the Great Recession led to a smaller number of college-age young adults today.

2022 - 2007 (the first year you could consider "The Great Recession") = 15 years old

Am I misreading this quote?
Ask HN: How to get into top tech companies during this hiring slowdown?
Just heard back from Microsoft, apparently they are not moving forward with any new grad applications as all roles were filled by return offers to interns.

I interned at a fairly large tech company this summer, but I don't want to go back to work for them. I'm graduating next year.

I'm having a really hard time with new grad applications this cycle. Does anyone have any tips? Other things I can do to maximize my chances?
I was looking into that, but there's no other super easy heroku like platform. Something where I could just push code and it'd deal with the build packs. Most of them require Docker.

I heard keyob is decent, otherwise fly.io. Render and railways.app have inactive or day limited services.
I'm a descendent of Princess Kudasheva (scroll down)

She was the granddaughter of https://en.wikipedia.org/wiki/Alexander_Trepov - last prime minister under the czar - just before Kerensky.

She died of the Spanish Flu in 1918.

The princess's daughter (my grandmother) married Norman Armour

https://en.wikipedia.org/wiki/Norman_Armour
> Note that such a check is inherently racy, though.

Do you mean in a kind of "time of check vs. time of use" kind of way?

I would suppose that if the answer is negative that would at least stay true no?
It's a relative doddle to make changes or write an extension to Emacs or even a Smalltalk system like Pharo.

Eclipse, by comparison, is complicated. There's a whole lot of scaffolding and frameworkshit that goes into building an IDE that works the way Eclipse does, and that greatly increases the friction of extending it. Plus Eclipse, like most Java programs, is not really a live system that can be extended and changed as you run it; both Emacs and Smalltalk are. Not being live further increases friction. End users aren't really supposed to extend Eclipse themselves, just download and install prebuilt extensions, and this is accounted for in its design.

Visual Studio Code has the same problem. It may be somewhat easier to extend than Eclipse, and it was certainly intended to be so, but doing everything in webshit didn't really address the fundamental issue.
The largest customer on Snowflake spends –$49M/yr and is still growing spend
VideoLAN has issued a legal notice to Indian Gov for banning their website
>It should be noted that some young designers have been known to exhibit behaviors of senior designers. And on rare occasions, you may see a senior designer in the wild behaving like a young designer. Scientists cannot confirm why this phenomenon exists.

It's called personality. Not everything needs 20 years of adulthood to be cultivated, some are born with it or grow into it young. About time the industry starts putting their money where their mouth is and take that 'people are different' advice themselves.
>The fact that you hate "maga" so much yet it occupies your mind! Living rent free I believe is the phrase.

To quote your own profile:

When the debate is lost slander becomes the tool of the loser

For somebody who whines so much about political posts, you sure post a lot of batshit crazy argumentative political conspiracy theory stuff, a lot of which gets downvoted and flagged and deadened, and in fact even your own user name is obviously political "HunterB123":

https://news.ycombinator.com/item?id=32967914 https://news.ycombinator.com/item?id=32967906 https://news.ycombinator.com/item?id=32979228 https://news.ycombinator.com/item?id=32967893 https://news.ycombinator.com/item?id=32957238 https://news.ycombinator.com/item?id=32956441 https://news.ycombinator.com/item?id=32959870 https://news.ycombinator.com/item?id=32956409 https://news.ycombinator.com/item?id=32957085 https://news.ycombinator.com/item?id=32882767 https://news.ycombinator.com/item?id=32856118 https://news.ycombinator.com/item?id=32856307 https://news.ycombinator.com/item?id=32803355 https://news.ycombinator.com/item?id=32753543 https://news.ycombinator.com/item?id=32569938 https://news.ycombinator.com/item?id=32387353 https://news.ycombinator.com/item?id=32391032 https://news.ycombinator.com/item?id=32404105 https://news.ycombinator.com/item?id=32363499 https://news.ycombinator.com/item?id=32363559 https://news.ycombinator.com/item?id=32363259 https://news.ycombinator.com/item?id=32357802 https://news.ycombinator.com/item?id=32357787 https://news.ycombinator.com/item?id=32281880 https://news.ycombinator.com/item?id=32241638 https://news.ycombinator.com/item?id=32196612 https://news.ycombinator.com/item?id=32197231 https://news.ycombinator.com/item?id=32198239 https://news.ycombinator.com/item?id=32198912

There are SO MANY more examples, these are just a few of the recent ones.

And this isn't the first time you've hypocritically demanded that other people not to talk about politics, while you do that all the time:

https://news.ycombinator.com/item?id=32803298
There's levels to this. I once worked in a room full of graphic artists, but one of them had a skill level that was far above everyone else. His "demo" was to draw a detailed dwarf character in full battle armour and wielding a stone hammer... with one continuous line. Without picking up his pen, he could draw this character in minutes with better detail than the other artists could in hours or days.

Similarly, Mozart copied down Allegri's Miserere after hearing it just once in 1770. That's a sufficiently amazing achievement that it's still talked about, a quarter of a millennium later!
But worse, because cameras back then had horrible shot noise and used horrible JPEG compression.
Crowns that slip become nooses. It's not right, but it's the predictable outcome of inherited power.
So is San Francisco: a municipal corporation with a Charter. It’s an overlooked detail, but it’s not just a choice of phrasing. Corporations are just groups of individuals acting as a single entity under law, and incorporated cities in California and most of the States I’ve looked at are no different in that regard.
In their newly-majoritarian efforts to be intellectually absurd, the conservative justices have met their match. Let freedom ring!
Ad tech is applied sociology. What you're talking about is a different advertising industry, one that deals with human psychology.

Ad fraud is essentially incorrect/fraudulent sampling that leads to biased results. (Usually with a hidden motive.)

Which is why in traditional advertising sampling and data collection is done by government-mandated entities. Digital advertising has been "disrupted" by entities like Google and Facebook, but eventually we'll get there too.
fly.io is a big deal.

It's not as easy as Heroku as there's no managed Postgres, but it's well-documented with a few paths.

However, the main reason Fly stands out is their focus on multi-region deployments. Ever wondered why facebook.com is fast no matter where you are? Fly provides app-level tooling to make this superpower available to everyone.

It's especially important if you're making heavy use of Web Sockets.

Everyone wants to be the new Heroku, but that should be table stakes. Fly is innovative in the same way Heroku was when it launched.
Most of us realize that other encodings and alphabets exist, it's just that supporting them is a nightmare. Do you have any idea how many un-typeable, invisible Unicode control characters there are? Did you know you can display the same Unicode text using different byte combinations?

How on Earth are devs supposed to sanitize this??
Lyft dropped more in May, but otherwise the correlation just seems astounding...
Makes it even harder that some languages use straigth quotes as the gold standard – so whether to curve them or not is language dependent.
Knowing absolutely nothing about either, and looking at the wiki articles [1] and [2], Statistical Process Control sounds like something specific to quality control rather than a general alternative to control theory. Is that the SPC you're talking about? Is control theory used in quality control? Does SPC have wider applications?

[1] https://en.m.wikipedia.org/wiki/Statistical_process_control

[2] https://en.m.wikipedia.org/wiki/Control_theory
The biggest challenge with incrementality in the IDE (I'm not even talking about incremental parsing or whatever) is you're subject to the whims of a given language's build system and how it behaves on multi-million LoC codebases. With sufficient human suffering thrown at the problem, you can approximate decent incrementality, but it ain't easy.

It's not written about anywhere, but there is a long and storied history of trying different takes on "IDE Incrementality" for the Visual Studio IDE, all in service of making it a more palatable experience for people working in utterly massive codebases. Most failed, and the one that stuck (which I worked on for a bit, yay!) still has some weird issues with the experience where an end-user "knows what they want" and get bothered by the fact that stuff is still getting initialized, and they may or may not get what they want in a completion list. It's better than the legacy behavior, where the IDE loads context for all things up front before freeing up the UI (which would mean 10+ minute IDE loading screens for some users). But it's an inherently flawed system.
A friend of mine suggested this and I didn't like the idea of putting the OS on there especially that it is a virtual machine. There are a couple of things that made this setup nice though: PCIe bifurcation (4x4x4x4) lanes straight to the CPU and PCIe passthrough in ESXi. From what I read that ZFS needs direct access to the underlying hardware. So, I just treat the OS as totally disposable and not worth backing up. I can spin up a VM in less than 2 mins if something were to happen to it.
I used Scalingo for Rails apps a while ago, and was quite impressed by the quality of the platform. Very Heroku-like. Maybe not as polished, but still doing the PaaS job pretty well (git push, and you're done).
The problem with him resigning is that only conformant people remain. These are unlikely to further science as well.
yes very tricky. Wonder how the solve this issue. What happened to other thorium designs, I believe this has actually been around for decades
Perhaps it's meant to limit what people can scrape from search results? A human user shouldn't need to see every result.
Huh, interesting. Didn't know there would be such cut-throat competition in this thread that downvoting my comment would be required xD.
War on Cancer
I've tried both render and fly.io, finally settled with fly. Love the DX!
A bad PSU is not at all comparable to a hard reset. A bad PSU can cause individual writes to fail without the entire computer shutting down, and these failures can and will happen simultaneously across multiple disks since they are all connected to the same faulty PSU. If a filesystem wanted to guard against this kind of failure, I suppose it could theoretically stagger the individual disk write operations for a given RAID stripe so they don't happen simultaneously. (Implementation is left as an exercise to the reader.)
You saw maga in the project name, that's a fact, not slander!

Either way, a joke is not slander, I didn't take your original comment as slander because it was a joke, as was my reply.

But I do think your later replies calling your political opponents racist is slander.

> For somebody who whines so much about political posts, you sure post a lot of batshit crazy political conspiracy theory stuff, a lot of which that gets downvoted and flagged and deadened, in fact even your user name is obviously political:

The difference is I only reference politics in political threads. I don't shift the topic to politics like you did. This is not even a political article!

This is a left leaning site so ofc some of my comments get downvoted, similar to why you blew up. This site can be a bubble and your bubble was burst.

If you want to discuss the politics we can, but simply calling me a conspiracy theorist / racist / bat shit insane etc is slander and not a debate, thus the motto in my profile.

This thread about Couchbase's new storage engine is not really the place though, don't you think?

EDIT: (to reply to your edit)

> And this isn't the first time you've hypocritically demanded that other people not to talk about politics, while you do that all the time:

The post you linked is taken out of context, it was in reference to talking politics / money / religion at work.

> in fact even your own user name is obviously political "HunterB123":

Yeah it's a combination of hunter2 and the hunter laptop scandal. Both terrible opsec! Do you not like technical and political jokes now?
Again, a politically neutral network is a dream of the 90s that isn't even alive in Portland. The network will enforce the will of whomever puts enough political pressure on it.
‘Forgotten archive’ of medieval books and manuscripts discovered
I moved my small free Python/Django app to Fly.io and am extremely happy. The move was seamless because they allow you to run your app from a Dockerfile which was straight forward after going through the documentation. Looking forward to building more things on Fly.io.
For the sake of the Great Scott Martin, just take some mobile jammer and or faraday cage and let them replay that match in the national treasures safe.
What's so difficult to let them both proofe their claims
It was untargeted multicast with no back channel for comments/feedback. This is the diametric opposite of Facebook or Twitter which are all about soliciting and encouraging as much back channel communication as possible, and feature content heavily curated to your particular interests to make it more of a dopamine hit than your average America’s Funniest Home Video watching session.

And here’s another difference: at least in my country, this programme was something that might be shown for an hour, maybe each day or maybe each week (it’s been a while, I don’t remember which one it was). There wasn’t a 24/7 channel that would show a steady stream of such videos without a pause - in other words, the show started, and ended. Twitter and Facebook never end.
I'm just waiting for the antitrust to start.
Pretty huge for a tier 1 banks market cap to fall 55%.
I moved to CapRover, and shortly after ended up moving to Portainer, mostly because CapRover does not have very good collaborative environment (eg. A single password for access)

With 20Eur a month and a VPS on Digital Ocean you can get quite far.

I also made a small project to spin up a PaaS like environment with docker swarm, Portainer and Traefik if you're interested: https://github.com/sergioisidoro/honey-swarm
Seeing and somethingness – An evolutionary approach to consciousness
First thing I looked for too. Couldn't find it
Other countries do this and manage (Australia, NZ, UK, etc). Companies outsource the KYC to vendors who carry ISO27001 etc and heaps of insurance. No sane IT people would want photos of so much personally sensitive data on their own systems.

The tech to do this well is nearly here - combination of ID on Apple/google wallet + decent on-device facial recognition tech and you can hugely reduce the risk profile of KYC.