skysight-inc/HackerNews huggingface dataset:
The interesting past threads appear to be:

Hy – a Python based Lisp dialiect - https://news.ycombinator.com/item?id=24987764 - Nov 2020 (1 comment)

A Lisp Programmer Living in Python-Land: The Hy Programming Language - https://news.ycombinator.com/item?id=22361821 - Feb 2020 (3 comments)

A week with Hy - https://news.ycombinator.com/item?id=20645776 - Aug 2019 (27 comments)

Hy - https://news.ycombinator.com/item?id=20605660 - Aug 2019 (141 comments)

Some thoughts on hylang (2017) - https://news.ycombinator.com/item?id=19446381 - March 2019 (24 comments)

Hy: A Dialect of Clojure Embedded in Python - https://news.ycombinator.com/item?id=19277272 - March 2019 (13 comments)

Hy – A Lisp-flavored Python - https://news.ycombinator.com/item?id=14909786 - Aug 2017 (215 comments)

Hy - https://news.ycombinator.com/item?id=12893703 - Nov 2016 (5 comments)

Show HN: HyREPL, Hylang nrepl server - https://news.ycombinator.com/item?id=9869478 - July 2015 (7 comments)

Live-Coding Blender with Hy - https://news.ycombinator.com/item?id=9850058 - July 2015 (30 comments)

Hy – A dialect of Lisp that’s embedded in Python - https://news.ycombinator.com/item?id=8696975 - Dec 2014 (77 comments)

How Hy backported “yield from” to Python 2 - https://news.ycombinator.com/item?id=8641126 - Nov 2014 (22 comments)

Hy, a Lisp that compiles to Python - https://news.ycombinator.com/item?id=7214400 - Feb 2014 (60 comments)

Hy: The Logical choice - https://news.ycombinator.com/item?id=7123395 - Jan 2014 (12 comments)

The State of Hy - https://news.ycombinator.com/item?id=7069781 - Jan 2014 (16 comments)

Try Hy - https://news.ycombinator.com/item?id=6700103 - Nov 2013 (64 comments)

Hy - dialect of Lisp that's embedded in Python - https://news.ycombinator.com/item?id=6245191 - Aug 2013 (1 comment)

First steps with Hy, the Pythonic Lisp - https://news.ycombinator.com/item?id=5924709 - June 2013 (28 comments)

Others?
Here's a simple example:

Say that your server has an admin login that simply compares the submitted password to "thisistherootpassword", one byte at a time. The attacker starts by trying "a","b","c", etc. and measuring the time it takes for the server to respond. When they get to "t", the server takes slightly longer, so they start trying "ta","tb","tc", etc. until the server takes even longer to respond. This allows the attacker to crack the password much, much faster than naively brute-forcing the space.

Actually, I have an even better example: I performed exactly this attack in order to get 1st place in a programming competition. You can read my writeup here: https://lukechampine.com/progcomp.html
Yeah it's probably a generational thing, I grew up pre-internet and that's the time I heard people talk about "X months salary." - pre-internet.
I played with Hy a few years ago and loved it. You can even use Numpy!

I never went much further than surface level stuff, but I wrote about it and would love to jump back in one day.
Yes and the discussion is about how we do conflate the two, sometimes correctly and sometimes incorrectly.
I think this is great, and you've done a fantastic job on the landing page. It's beautiful and clear.

Here's some feedback for the product itself.

- As noted by other HN users, the selection behavior is unintuitive for me. I read the comments here before trying it, so I understood exactly what to do. But as a naïve user, I wouldn't think that double clicking went 1 level deeper into containers, I would think that it went directly into whatever I'm clicking. For instance, if I click into a text box that's 2 containers deep, it would go directly into the text. I know other programs solve this by having a select tool and a "direct" select tool, although that might be a bad solution here... either way, I think you might want to think about the UX on that more.

- When editing text, I see a red circle with a minus inside. I would assume as a user that it removes the current element, but it doesn't seem to do anything when I click it. Very confusing for me.

- Adding links seems a bit confusing. I selected a text element inside of a container, clicked the chain icon to add a link, and then typed "www.google.com". I didn't see any confirm button, so I pressed the "enter" key on my keyboard. It seems the link was added, but the text didn't turn blue the way I would expect, and the "add link" interface didn't disappear as I would expect. I think just adding a confirm button that when clicked hides the add link interface (and goes back to the one with italic/bold/link/etc) would make it more straightforward.

- Adding an input element didn't seem to work at all for me. After double clicking the "input" option in the element list, I wasn't given the option to select its location like I was for all the other elements.
Within the context of Basecamp internal company chat, demands that employees must prove they're not A Bad Person by repeating an particular string of words (as though that would prove anything anyway) is an incredibly minuscule issue indeed.
Google wasn't an ad machine prior to the dotcom crash. Before the crash they had a very small advertising group, and it was pretty maligned.

It's also somewhat important to differentiate between "doing advertising" and surveillance capitalism. The scope/scale is completely different.
> At that scale wouldn't it be easier to just build everything out of a few VMs at a cheap service?

I have a handful of AWS Lambda functions with a DynamoDB backend serving hundreds of clients, my bill for the month of April was $0.01.

No, a VM wouldn't cut it.

But you are right that there are certain slots where AWS doesn't make sense: There's one in the lower middle range where you can save a bunch of money by using a VM or two with your own DB servers. And there's the one where you're so big it might actually be worth it to implement the whole stack yourself.
Playing polyphonic music like Bach Fugues requires an enormous amount of focused attention and executive function.
Relying on muscle memory alone does not work at all for me and all musicians I know that play polyphonic Bach music.
The amount of money that was left on the table in their early departure leads me to think there was at least some naivety on the way in to that deal.
What concretely changed after a year at the gym? Like did you get far more dating app matches? Were cold approaches in a public or social setting better received? Did women start approaching you when they didn't beforehand?
Every single word in his headline comes as no surprise to me. What about you?
This seems very well crafted. You have my attention!
Google Maps censors support beam suspected in fatal Mexico City Metro collapse
Update on ROU (2002)
How does that compare to the same algorithms run on other languages these days?
Exchanges can create rules, but there's a limit to how far they can push it:

If Nasdaq makes too many rules that investors or companies dislike, they'll list respectively trade elsewhere.

Developments in the rest of the market make stock splitting less of an imperative than in the past. Eg Robinhood and many other retail brokerages allow you to own partial shares now.

If you follow the logic of these recent developments, individual shares might become a thing of the past, and we will just directly trade fractions of whole companies.

(On your computer, rational numbers are easy to implement: just represent them as a pair of arbitrary-length integers.

Operations will be a lot slower than on floats or ints, but the exchange doesn't need to do too many operations per second. And market makers and hedge funds etc can use whatever approximation scheme they want in their internal systems.)
The 25 year rule sucks
Yep, he’s really trying to force a barrier to entry.

So his stock can’t be bought by small players.
The fact that 1/3 of the company resigned is a huge red flag.

Add to the fact that Fried and Hansson are supposed to be thought leaders in (alternative) Silicon Valley Company Management and Philosophy.

That’s a whole lot of “severance” to pay out.

Regardless of what happens to the company, their reputation as Leaders/Managers will take a hit.

The fact that Hansson “peaced out” and left Fried to Moderate the meeting at such a critical time doesn’t bode well either.
Reminds me of how civil engineers design structures to bear loads that are at least double the actual maximum load the structure is ever expected to see. Imagine the spectacular catastrophes that would come from centering bridge design around maximizing the efficiency of materials used to support the very limit of load-bearing capacity, and that's what many of us are fostering in our own lives and businesses.

What Shane calls slack, you could also call the margin of safety.
But what is this evidence meant to prove? For example, is it meant to suggest he planned this operation? Then why use a different initial flight path and a different aircraft? (The -ER and -LR are similar but have different ranges, which would seem crucial if you're trying to plan something like this.)

It all just looks like innuendo, or Bible Code or Nostradamus-style coincidences.
How is this related to the GP comment?
All fine and good, but wouldn’t you need to list the price of your vehicle as well?
Wait, who is doing WSPR at 10 watts? Most people are just using an unamplified IO pin off their Raspberry Pi or something; milliwatt at best.

(It makes WSPR itself all the more impressive, however!)
For accounting, you'd want fixed point. I guess in this case it's decimal and not binary. Aside from that, there are arbitrary-precision ints. Python ints are. PHP promotes overflowing ints to floats, but this was probably a bad idea. We're also at the point that you can afford 64-bit ints.
> when did denouncing white supremacy become something controversial

White people existing is not "white supremacy".

White people existing in positions of power is also not "white supremacy".

"White supremacy" is an ideology that declares the White race as genetically superior. (Yes, I know the left tries to shift this as it sees convenient.)

Claiming that Basecamp has a problem with "white supremacy" would be a blatant lie.
Sounds great, to be honest.
Context: https://www.cbc.ca/news/world/subway-train-derail-mexico-cit...

Confirmation: https://twitter.com/Claudiashein/status/1389437395154657282

It's unblurred if you move slightly up or down the street, but here is a screenshot just in case direct links to Street View don't work: https://imgur.com/a/EB9YOLt
Not sure I can agree with that. Sinking resources in to re-engineering a language infrastructure, mostly because the language / infra is not actually a good choice for the target problem is an approach only very large engineering teams can tackle. As has been already been started (further down the thread). Breaking down your code / monolith into manageable components and re targeting for performance in the key spots is almost always the right approach. Unless of course you have the engineering resources and hubris of someone like FB
I guess it's just a different way of thinking that I'm unfamiliar with. I have turned down other job offers (30-40% salary increase--not 2x) because I like where I am--coworkers, projects, autonomy, city, etc.
Provable operating systems such as seL4, etc., used in mission critical scenarios utilize formal methods to effectively prove correctness of the system. Definitely a real-world use case. Worth knowing for a normal SWE? Probably not.
> No exchange is allowed to publicly quote fractional pennies so as to give someone a way of "jumping" the queue so to speak, [...]

The rationale and effects of the sub-penny rule are quite complicated. And there's lots of lobbying done in either direction.

The bigger the smallest price increment, the more important speed becomes.

The original justification for minimum increments has gone: it was a workaround the limitations of human traders and human market makers.

But, alas, even with computers there are still some downsides to just allowing essentially arbitrary precision prices.

(I do find it somewhat strange that the SEC makes rules about this, though. Why don't they leave that to the individual exchanges?)
"I'm oppressed more so it's okay for me to say horrible things!"

Who wins with this? No one wins, no one has anything to gain. It's just venting and only breeds resentment. People turn this in to a "I'm oppressed more! No I'm oppressed more!" contest. That leads to nothing good. Accepting that racism exists, is bad, and should be addressed _and_ opposing this kind of stuff are not mutually exclusive. I think it's entirely consistent with the values of treating people as individuals.

When all messaging is race-focused and people are constantly antagonizing against a certain group, then don't be surprised if people, especially lesser advantaged ones, will feel left out, and that's not even all that unreasonable.

You don't empower a group of people by kicking at another of people group.

People talk about "white privilege" as if that's somehow a problem. It's not; it's how everyone should be treated. That this doesn't happen is horrible, but I resent this usage of "white privilege" that almost tries to to guilt me for being treated with decency, or is being used to dismiss the very real problems and challenges people of all backgrounds are facing (including white people).
I've put together a website in Webflow just last month and I've been shocked by how convulated and complex it has become. It's obviously making a killing and all the SaaS I know are adopting it but I've been left wanting for something less frustrating. I really enjoy the ease you are going for, super promising!
I do pretty much everything with Web Components these days.

It's so nice to be able to pick things I need from different frameworks, like Ionic, vaadin, Shoelace, etc... and they all just work together.

I tend to implement vanilla web components, I enjoy managing the life cycle and don't find it particularly burdensome. Of course. Lit-html is a big reason why that's easy to do. I use it for rendering. I generally avoid using the shadow dom unless I have a really good reason.

My components all self-register, and are pretty encapsulated. They all maintain internal state, but for more global state I use a library I wrote called ApplicationState [1].

It's hard to imagine going back to the framework churn after experiencing the freedom of Web Components.

It really feels like we've finally realized the promise of composability, reusability, encapsulation and performance with Web Components.

[1] https://claytongulick.github.io/applicationstate/
What a lie

AWS offers an AWS educate account already - go here to learn more

https://aws.amazon.com/education/awseducate/aws-educate-faqs...

If you are a startup go through AWS activate - 100,000 to play with.

GCP etc al do not offer this either. This is not done crime- AWS pioneered this free tier model. I used Dell and you paid for everything there.
That is such a true and obvious statement, it was also an (most likely unintentional) trial run for the next one that will be more dangerous.
He can flip a lens, but he can't rotate his phone 90 degrees?
I agree, the fact of some “anomaly” on a WSPR link is not sufficient evidence for the presence of an aircraft. There are many other possible reasons for those events.
> But you do, right? Denounce white supremacy?

Sure, if the other party apologies to me (a Slav) first for their bigotry, racism, and slaver history.
I don’t understand how white supremacy even comes up as a topic at a company that makes business collaboration software. Maybe I’m lucky but I’ve been in the industry for over 20 years, and it’s never come up as a topic of work discussion. Vi vs emacs? Yup. Debugging techniques? Sure. Linux vs Windows? Many times. White supremacy??? I can’t think of a single moment where that would have been on-topic for any tech job I’ve ever done. What on Earth kind of software are you all working on?
Forget the radio heating up and cooling down, my cat walking by the coax going to my antenna is going to affect my SNR more than an airplane thousands of miles away will :)
I have noticed it as well, but I haven't gotten to the point of doing anything about it yet.

If I'm playing a video game, I have to be listening to a podcast. If I'm reading a book, I have to check the news every few minutes. If I'm writing code, I have to turn on some sort of background noise. The only times I'm productive are when I, by some accident, get past the initial discomfort of doing only one thing, and get lost in the activity before I have time to think about it.

It's definitely a bad trait, but I didnt cognitively realize that until this thread made me think about it.
It's not obvious to me.

If FB's claims turn out to be true, then it will look very bad for Signal — that they staged evidence to create a fake story about FB, and went on record to double-down on their dishonesty.
Nerds conquered the Earth when IBM enabled WW2 (including the Holocaust) using automation. Neither US nor German war efforts could have scaled to that degree without them.

If you want to disagree with that example, I would also offer Star Wars, Star Trek, Steve Jobs, or the X-Men movies as examples of nerd culture becoming mainstream, dominant culture.
The guidelines here are to contribute instead of gainsay.

Explain. I mean, I don’t agree (at all), nor does Wikipedia, but you’ve given nobody anything to work with.
Are you equally concerned with how many men are (economically) forced into selling their bodies for construction (and other physically taxing) jobs en masse?
I don’t think Buffet should be forced to do anything simply because the exchange cannot keep up with the increase in price.

It’s not like they haven’t seen this coming for literal years.

Maybe they were assuming he’d give in?
In other news, railroads use your cargo as leverage to get you addicted to product delivery. They in fact use it in a variety of ways for and against you and other railroads and the government.

This pattern is true of pretty much every industry that carries freight, whether coal, llama socks, or information. It's true in capitalist, socialist, communist, and fascist societies.
The discussion is about how a company should handle a situation where one employee is making a significant number of others feel unwelcome because of the color of their skin or their commitment to anti-racism. Party politics only factors into it if you think people make decisions about who to associate with primarily by extrapolating voting habits from others’ behavior instead of assessing the behavior itself.
Or perhaps just move to arbitrary-length integers. (Eg what Python gives you by default.) Or even rational numbers.

Both are a bit slower than using ints built into the machine, but exchanges don't have to be particularly fast. (In contrast to HFT participants. But they just need to be faster than their competitors.)
Would love to see any sort of actual studies on this, because I'm fairly confident it's false.

The argument at face value is a slippery slope, like "sugar triggers dopamine response in the brain in similar areas as cocaine, so any exposure to sugar eventually leads to someone consuming sugar at all times"

I think it's much more likely that people, in general, imprint sexual preferences around the time that they are becoming sexual in their teens, and that doesn't change much as they age.

Religion in the US tends to focus on "any exposure to porn makes you an addict," which is why I am assuming this is what you're trying to imply. If you want to play a semantics game "porn addiction is defined as" then I'd argue that the same people are -true- porn addicts at the same rate that people are -true- sugar addicts. So, not saying they don't exist, but are a significantly lower number of the population than US religions would have you believe.
I, on the other hand, do not feel the need to participate in DHH apologia.
I guess one approach would be to tell them that you will be able to see their traffic. Even show them that servers have logs etc. After a time, show them how to use computers more privately, and tell them when you stop keeping logs.
Of course they would and they should, much like I would tell someone asking me to denounce white supremacy to f-off despite me being white.
Have you been around people with psychological disorders? There are no way you will understand the thought process and motive. You can still have empathy and help as much as possible, but understanding is difficult, even for experienced doctors used to treating this kind of patients. They can also appear normal and change very quickly. And it can happen to all of us.
I think you can get away with keeping it unordered for 95% of the code. But the remaining 5% are going to fail in very confusing, and possibly inconsistent ways.
You can also trawl through the Money Stuff backlogs to find similar comments.

The 'Buffett halo' is worth paying for.
How well do web components work in the context of SEO and pagespeed scores?
How did this happen? Ugh.
Spilling gasoline onto a floor isn't a problem. Spilling gasoline into a raging inferno is.
Or they could use a larger integer.
Are they going to halt activity at the legacy financial institutions such as banks, credit unions, brokerages, hedge funds, credit card companies and the like? Those things have an environmental impact many times greater than Bitcoin does.
> stimulatory addiction

This really seems to be it, for me. There's a "high" that comes with being productive. Multitasking lets you trick your brain into thinking its being productive, giving you the high without actually doing the work.

> What is really concerning is when I am watching something I actually want to pay full attention to on YouTube/Netflix, and I find myself opening a fresh tab to load up a second video before catching myself and realising it's ridiculous listening to two videos at once talking over each other.

This is so relatable. A lot of times I open up a window to get started on a project, and within 5 minutes I've absentmindedly opened youtube/reddit/discord/hn/wikipedia and started my way into a wormhole that will take at least an hour to get out of.
My current approach is probably dumb, but the main thing I am trying to eliminate is me unconsciously accessing distractions (Reddit, YouTube etc.). I have basically conditioned myself to always go to such sites, and my body just opens them, even when trying to focus on some task, without it being a conscious decision.
I have partially solved this by blocking all distractions I usually go to with my DNS (PiHole), so every time I unconsciously try to access such sites I get an error and snap back into reality, so to speak. I do sometimes unblock things, but I make sure that it is a conscious decision.
On a related note, I recently learned about the relationship between theorem provers and unification [1][2].

I was actually just trying to understand "plain" unification (still working through it!). I just find it exciting to discover cool applications of unif. that I haven't came across before.

(Btw, I'm trying to figure out how unification can be used as a building block for a datalog like query language for indexedDB)

1: https://eli.thegreenplace.net/2018/unification/

2: https://en.wikipedia.org/wiki/Resolution_(logic)
A passive filter (if you've got the headroom) doesn't have to be fancy ... just a capacitor and variable resistor will let you custom-mellow the excess highs. (Old radios had these for 'tone control' ;-)
That is what folks have been saying for at least 3 months since I've been following.

I think you underestimate how the mainstream views cryptos as elitist silicon valley stuff, while dogecoin positions itself as "the peoples" currency. I think there's some bigger forces too that want to embarrass bitcoin and said elitist elements.

I'd actually be willing to bet 10k USD with you that by end of August Doge will still be over $1.00.