skysight-inc/HackerNews huggingface dataset:
> So I'd argue for this differently: defn and for and other pervasive macros aren't safe because they're well-tested, they're safe because they're trivial. You know that (defn ...) is short for (def (fn ...)). You know exactly the code that that macro expands to. And you can choose to type (def (fn ...)), or you can choose to type (defn ...). Same with short-circuiting "and", or "for", or "+=", or whatever.

That's probably true of a lot of macros, but I would be surprised if the macros included in Lisp are all of that triviality.

And the biggest perceived payoff of macros developed in user-space is going to be the macros that aren't trivial.

> This is a very good point. Destructuring assignment, maybe? Arrow functions? I think we agree that some language features are good additions, even if I picked a bad example :)

Sure, I see your bigger point, and arrow functions are a good example of it. I mean, obviously you can do `function(foo) { ...; return bar; }` and then use bind() to fix the fact that that doesn't close around the right things at all, but arrow functions are just so much clearly less error prone that there's no real argument they're an improvement.

I'm actually not aware of destructuring assignment being available in JS, but it's great from Erlang, so I'll have to look into that.

This is something I think about a lot because I'm writing a compiler/interpreter for my own programming language: programming languages often introduce too many features before they're really thought out well enough--meanwhile lots of those features would be just fine as libraries. The result is an inconsistent language with lots of ways to do the same thing that don't play well together. C++ has this problem so badly that they've developed toolsets for subsetting--i.e. choosing the set of features of the language you use and returning errors if you use features outside that set. And then there's stuff like C which just solves that problem by rarely adding features.

The most powerful languages, I think, tend to be ones that didn't add a ton of features, and made good choices on the features they did add. For one example, I think Erlang got their threading features really, really right, and a lot of other programming languages are going to regret going with other threading models and bolting on an Erlang-style model later.

> I don't know when the long run starts, but my experience with macros is that they're just a huge productivity benefit that I wouldn't want to give up. I haven't seen a codebase degrade into an idiosyncratic mess -- perhaps, in part, because there's a lot more friction to writing macros in OCaml than in Clojure, so macros are only used where they provide a substantial and obvious benefit. Or perhaps it's that typechecking makes it much harder to write poorly-behaved macros. Or perhaps I just got lucky with my cubicle assignment :)

I dunno! I haven't written much OCaml, though I've written some F# which is supposed to be pretty similar. I do think making powerful-but-dangerous features harder to use can be a good strategy for dissuading their use except when they're really needed, so you might be on to something there.
Busting the myth that developers can't write
> Obesity doesn't have as much to do with overeating as many think.

uhm actually, it has everything to do with it. Calories in, calories out.
I have run into that in some places before! I imagine just because of the word torrent.
...easy there, cowboy.

If you replace "Popular Music" with "Anything Else" (e.g. software engineering, standardized examination) you might see the silliness of your statement.
> As the parent comment noted, these issues aren't as prevalent in other cultures. So why here? Why is these so much pain that needs to be medicated?

They aren't "less prevalent". They're underdiagnosed and untreated.

Remember anti-vaxxers that yell about how vaccines caused autism? Except that western medicine started to correctly diagnose a lot of neurodivergent conditions better, that's why we realised that a lot of kids that can't stay still have a form of ADHD.
No, whole thing didn’t go down over a few hours. It was weeks. Not sure why you’d lie about this to protect someone you don’t know.

Furthermore, not only did did he refuse to acknowledge his lies, he continued to lie, doubled down on the previous ones, and to this day still continues to make deceptive statements.

So yes, as his slimy behavior has continued it is relevant to bring this up every single time replit is mentioned here.
Why now? Is there any context about this decision?
Why is it worth complaining about? If it’s true then just fire them.
> The US is trying to avoid repeating the mistake it made with the USSR of allowing a hostile nation to buy its way to a modern industrial/technology base.

As far as I'm aware, the US didn't make that mistake with the USSR. IIRC, it was always under pretty strict export controls.

IMHO, if the US allowed to any country to "buy its way to a modern industrial/technology base" that country was China.
In binary, you will probably get 1 next to another 1 all the time.
I have little doubt that this has been happening widely since like, at least 2016.

They'll be getting better at it and harder to spot now though.
Many of the conflicts in past 80 years could have been avoided if everyone had nuclear weapons.

Either that or the conflicts would have been the cause of nuclear armageddon...
People want to see 100% success in all things. But that isn't very economical. Compare the SLS to Starship.

SLS has had a 100% success rate. One launch, one success. But it costs $2B per launch (and climbing) and has taken 12 years to get here. Plus, it's stealing pieces of the Space Shuttle, which was developed in the 70s over a long period of time.

Starship will launch a half a dozen "failures" before they achieve success, but they will have a bigger, better launch system that's fully reusable and costs orders of magnitude less per launch.

"Fail fast" applies to more than just software.
France with their roughly equal population & GDP as the UK also gets about 5x the number of tourists per year, so that helps boost their numbers a fair bit.
does it work on gpus?
If you watch the this launch video, It looks like there are projectiles coming up from the pad around 18s. I wonder if the launch pad or engines were damaged by explosion.

https://twitter.com/SpaceX/status/1649043715686793218
Does the number of people getting shot by their toddler siblings or after ringing a doorbell make up a significant percentage of total gun violence?

If not, then banning guns would be, in software terms, a premature optimization.
If your ISP suspects your IP address (can see your are connected to specific VPN server) they can just contact top websites, example: twitter, facebook or google and ask them if there are any users connected with the same IP at given specific time.
"How to not land an orbital rocket booster" - https://youtu.be/bvim4rsNHkQ
I worked for a department of motor vehicles (it also included what other states would call "the highway department"). I argued that the vehicle registration process needed to be implemented as a state machine. Other folks started "getting it" when I compared it to traffic lights. Certain steps had to be done in legally mandated sequences which were governed by state & federal laws as well as federal regulations. Like, the VIN must be checked with NCIC to ensure that it isn't stolen.

This used to be one of the states where dishonest people would "launder" salvage titles to remove the brand. If a vehicle is totaled (flood damage also counts), the title gets branded with the word SALVAGE. Every subsequent title for that vehicle should also have SALVAGE written on it. Before you can get a license plate for such a vehicle, it needs to be inspected for safety.

The human-readable diagram took up an 11"x17" piece of paper.
It likely exploded because they blew it up (flight termination system). It looks like the stages failed to separate and it started to spin. In this case they don’t let an uncontrollable rocket just fly off and see where it comes down, they blow it up. The FTS is basically an explosive mounted to the rocket that can be remotely detonated exactly for situations like this.
Yep. If they had built a fully local solution then that would be interesting.

If I'm not hosting it then it isn't.
It got further than I expected but I wish these streams had less cheering or at least muted them.
Even if this is true, it's going to get more and more difficult to explain away rocket explosions as succeeding the more decades we put between us and the dawn of the Space Age. If SpaceX is still blowing up rockets in 2033, it's going to become a PR problem, especially as the MSM further turns its back on Musk.
One of the new graphics that showed up on the dashboard was that of the engines lit. There were at least 2 on the outer ring that were fed from TO, and a few more winked out during the flight.

I’m curious how many off engines the system tolerates. How many do they anticipate regularly? I’ve never noticed if Falcon 9s periodically run as a Falcon 8 or 7?

All and all, ‘‘twas an awesome sight. Kudos to all those cheering excited people.
That’s off topic and mods should remove. Let’s not go into twitter and trans rights when the topic is on spaceX and their launch.
Part of SpaceX company culture. All their launches are cheer-heavy. Even mission control gets rowdy at times.
Ask HN: People who were laid off or quit recently, how are you doing?
How did you feel then vs now? Are you doing alright?

Are you looking for/have you found work? How do pay/benefits (remote, etc.) compare?

How have your feelings about the industry changed?
> I miss the days when the web was this simple

You mean before AdSense and SEO or exactly what the site’s author does for living?
I know these are dangerous grounds to tread on, but I do struggle with working parents sometimes.

I understand having children does take time, but I've experienced a parent that ends up being available around 4 hours a day while they are the linchpin in a certain part of the process that prevents a job from being completed. They're slow to respond to messages, emails, and calls and sometimes async responses are just not good enough when we have contractors ready to put equipment into the ground.

Just seems like at some point, the role should be part time and not involved in some crucial aspect of the process. My complaint should probably be towards the company though and not the parent.
I kinda did, I guess.

I use ChatGPT to generate backend classes or Typescript types from JSON data, to generate unit tests from files, sometimes it also does some browser tests. I also write some parsers so it helps extending syntax a bit (but it's not too good at that). It also helps extracting localization keys, at detecting un-localized keys in HTML templates.

If a project has a lot of boilerplate, then it's definitely more than 10 lines per day. But not exactly "good lines". :)
You can sue anyone for anything, you just can't necessarily win. The court found in favor of Fogerty.
> The stigmatization of mental conditions in Europe is sky high, to the point that it's barely possible to be seen as sane if you're just seeing a therapist.

I think this is just not true. I've never seen so many people talk openly about seeing a therapist as in the last few years. I'm almost surprised by how mainstream it has become.
Good question. I don't have any idea who I would pass it to. If you do, it could be considered!

I also miss the good old days. It all felt smaller looking back, but still huge back then in a lot of ways.

Being found on Google and starting a community off that alone does seem like a pipe dream now, but I think mostly because of how people interact with the web and the platforms they are siloed into by default.
HotPlug allows hot seizure and removal of computers from the field

https://news.ycombinator.com/item?id=982930 (2009)

https://wiebetech.com/products/hotplug-field-kit/
If you care about privacy, then Amazon is the last company I would buy from. From personal experience, I would be far more concerned about what Amazon does with your data than Mullvad.
You only needed to lose trust once and you did it. Can’t trust proton anymore.
I think I am. I don't know how much of my time is spent writing boilerplate but it feels like a lot. Reducing that time is a big win.

Recently I've successfully used ChatGPT to generate:

* TS declaration files for existing JS

* test fixtures that cover boundary conditions

* a regular expression that includes backtracking and optional named capture groups

The last one was pretty neat. I gave it sample data and it gave me a regular expression along with JS code I could copy into a node REPL for testing. It didn't get the task right immediately but we were able to iterate until we got the right solution. My regex-fu is weak when it comes to backtracking so this saved me a lot of time.
I think that article might be a little over-the-top. As mentioned in the article, Twitter has every protection that Instagram, Facebook, and YouTube have. In addition, Twitter's "Hateful Conduct Policy still explicitly prohibits attacking others based on “sexual orientation, gender, gender identity".

I think the outrage is Twitter moving from the head of the progressive pack to inline with everyone else. Since there isn't really an alternative to Twitter for the business world, I'd rather it did it's best to be 'average', not overly conservative or liberal.
That doesn't make any sense for prototypes. It's been slightly fewer decades since we've been doing consumer software. Does anybody expect version 1 to be bug free?
It just did the same thing for me. Thank you for sharing.
> The man has done nothing illegal

https://www.reuters.com/legal/elon-musks-2018-tweet-tesla-un...

https://www.teslarati.com/tesla-new-racial-bias-trial/

https://www.sec.gov/news/press-release/2018-219

https://www.cbsnews.com/news/elon-musk-twitter-shareholder-l...

https://www.space.com/spacex-technician-coma-rocket-test-acc...

https://www.nytimes.com/2021/03/13/world/tesla-elon-musk-cor...

https://aa.law/blog/tesla-received-triple-the-amount-of-osha...

Full respect to all the workers who designed and built the rocket. But Elon Musk has absolutely done a bunch of crime.
Rear-wheel-drive cars are back and we have EVs to thank
I've actually found it useful for "decreasing output", or distilling uncharted mountains of my own bullshit down into neatly organized buckets of bullshit.

The stuff I want to write about, I've usually written about many times in different contexts over many years. I can stuff all that into GPT-3, and it will summarize and organize it into a nice outline that I can edit, populate, and elaborate myself by talking or typing. So it's all my stuff, but GPT-3 has more of a subtractive and organizational role than a generative role. It does a pretty good job converting lots of redundant huge walls of text, flame war campaigns, and axe grinding diatribes, into concise outlines, introductions, summaries, lists, comparisons, etc.

I'm using it to organize, remix, and synthesize lots of papers, articles, postings, emails, conversations, notes, transcripts of video demos and talks, and other things I've written into a coherent 8 module "Vaster Class in Game Design". (Like a Master Class, but Vaster!)
No more fear of job loss, Used AI in a project to get many interviews:)
Hello, good day!

I have started a new open-source project that analyzes LinkedIn job ads using Playwright and ChatGPT, and posts them in a Telegram channel in an organized and understandable manner with using FastAPI as backend. This project has several attractive features, including:

1. Visa support analysis: Using ChatGPT, it can determine whether a company supports visa or not.

2. Telegram bot: The Telegram bot forwards job ads that are suitable for you from the channel, so you don't have to search for them in the channel.

3. Nested logical filtering: This part is really interesting! For example, you can create a filter like this:
(django or fastapi or python) and (netherlands or germany) and (backend or (fullstack and vuejs))

With this filter, when a job goes to the channel that has Python or Django or FastAPI and is located in Germany or the Netherlands and has backend or full stack with Vue.js, it will forward it to you at that moment

4. Ability to analyze and find various IT-related jobs such as backend, frontend, software, devops.

And many other features that you can find in the GitHub repo and use them.

Telegram channel link:
t.me/Linkedin_python

Bot link:
https://t.me/linkedin_python_bot

To support the project, you can contribute or give a star to the GitHub repository

Project link:
https://github.com/ManiMozaffar/linkedIn-scraper

Note: The service is completely free and will remain free. My only goal is to help my friends
So scientists want better instruments to work with. Why is that a crime? Even CERN may be a huge expense. Idk even now I think Michelson and Morley’s ether experiment was worth it.
Sort of, the rocket has "engine out" capability. I don't think the number/configuration is known, but it is intended to perform as desired with more than one engine disabled.
The usage of “failure” as a way to describe not achieving the maximally ideal outcome makes no sense to me. I’ve never read or heard it used to mean that.

It would have been a failure if the data logging failed to transmit, or if it had immediately exploded and destroyed the launch tower.
I think AI will mostly lead to an automation and ubiquity of mediocre content. The high quality stuff will still be rare and made by those with the ability, talented artisans.
During the pandemic, my dog became accustomed to having a human around 24x7.

I cannot leave my dog for hours at a time without finding that he has thrown a tantrum -- urinating or defecating in places inside the house, or destroying something.

Because of this experience, I will likely never have a dog as a pet again. He didn't use to be this needy -- it's the constant presence of humans that made him this anxious when they are away. But until my dog passes, the situation is at a stalemate.
Looking at the aerial footage before the launch, I was wondering why there is so much infrastructure so close to the pad. Clearly much of needs to be nearby, but perhaps those tanks should be 800 - 1000 feet from the pad and not ~200. After seeing the damage to some of that infrastructure caused by the launch, I am still wondering.
Going to guess you don't actually know what the details are in the comparison betwen the N1 and Starship, because this is a incredibly uniformed comment without any arguments/evidence.
Correct. Jack Valenti famously equated the VCR to the Boston Strangler.
I've always been curious about this. Calculating the long run cost of flood insurance vs. building the home on an elevated concrete platform, which would be cheaper in the long run and which would add more resale value to the home?

I've also seen homes retrofitted with raised platforms but have no idea how much that costs.
> Proton Pass utilizes end-to-end encryption, so not even Proton can decrypt user data

By default, who generates the keys?

If you are compromised and your software starts to exfiltrate the keys to a third party, how long do you think it would be before anyone noticed?
Pity that the rocket did not separate.

I wonder if spaceX has considered a scaled down, like half the capacity, which would still be huge
> but it's also weird to see so many people gleeful that Musk must be so embarrassed

These people are pretty easy to ignore if you don't venture into certain parts of Twitter and Reddit. Who cares what they're social media-brained minds think. It's just another hot take.
They probably just know what they're doing so they expected far less than they achieved.
The Quebec court disagrees. Google is defaming the plaintif, and doing so in a global manner. Both in their ranking that information as important and additionally in refusing to remove that information when requested.

I'm really glad that American companies can't just operate with impunity in other countries. Google and other US multinationals SHOULD be bound by the superset of laws for all of the countries they operate in. If they can't accept those laws, for example in the case of authoritarian states, then they shouldn't be operating in those markets at all.
The type you do to examine wear after a successful landing.
> Every platform now has its own image hosting

The big ones do. There is stil the long tail of forums and legacy chat platforms that don't do hosting or have extreme limits. That is what will be most affected by this change.
I tend to view marketing as an industry where it is easier to 'fake it til you make it' versus tech or software engineering. But I definitely can see some arguments otherwise. I just view being able to sustain oneself purely on "bullshitting" other people as a bit harder to do in tech only because, typically, tech businesses have to output an actual software product. But I realize there are a handful of counterexamples, I still view those as anecdotal data.

I'll admit, I don't think their is scientific proof one way or the other, I just view "marketing" as an easier industry for "bullshitters" to climb their way to the top.
How much did starship cost?
Oh please. Survey 100 random non-US residents and I’ll eat my hat if the majorly don’t say that US gun policy is absurd.

The typical American argument is that the US is exceptional and that the views of “these damn foreigners” don’t matter.

I on the other hand seldom hear Americans actively argue that US gun policy is looked upon favourably by the worldwide community. This is exactly what you’re doing by implying that a non-US resident speaking against US gun policy holds a certain political persuasion which means that they should be dismissed. The more likely reality: they have a very typical perspective that transcends the US.
Same for me. I primarily work on mobile applications. ChatGPT is only good for generic tasks that can be explained without additional context which is by far the easiest part of my job.
One interesting observation here is how long it took the ship to get off the pad from the T-0 mark. This is undoubtedly because some of the raptors on it apparently failed to ignite. I thought they were about to make a mess on the launch pad!

I'm also curious about what technically finally got it off the ground - was there a sufficient, but low, level of acceleration, was it a matter of reducing the rocket's mass (by burning through fuel), was it a matter of some of the engines reaching some peak level of performance. Or, probably most likely, maybe just a combination of everything.
Also notable is that unlike most heavy lift rockets in history they have a functional assembly line that can rapidly churn these things out. We should only have to wait a couple months for the next test flight.
I think the regular Falcon 9 was designed to lose an engine every single launch.
Cause space billionaire man: bad.

But seriously what a terrible title. This was a huge accomplishment in engineering, getting it this far up.
I think SpaceX fooled a lot of people (myself included) that Elon was some kind of genius of visionary. But given everything he has done and said and everything about his past that has come to light I C think it should now be clear that SpaceX is a success in spite of Elon not because of him.

Whoever is actually running the show has effectively built an insulating wall around Elon to limit his influence, especially from day-to-day operations.

A few months ago there was an unverified account of this from an alleged SpaceX intern. I can’t say it’s true but it certainly rings true.

We’ve seen from Twitter he’s not much of a businessman (the deal he got himself into was terrible) and not he’s talking about software many of us here realize just how clueless he is about Tech.

With SpaceX not many of us knew much about rocketry so you know what they say: in the valley of the blind the one eyed man is king.
At least 6 seemed to be off