skysight-inc/HackerNews huggingface dataset:
I got excited just seeing one on flightradar and then looking up :-). They are quite rare
compared to 737 and various Airbuses
They can't trick me. I know what works. I'm sticking with Windows 98.
I visited a few months after you did, the masking rules were gone at that point. Everything seemed pretty positive, other than the park just being absolutely crammed with people. I don't know how they'll be able to maintain quality long term until they can reduce the daily headcount, which means we'll all be stuck booking further into the future, but at least you'll be able to walk between rides in the evening.
> Developing with static typing reduces development speed by 2.5x and increases bugs by 2.5x per the emperical studies on the topic.

I hate "Citation needed" comments, but this is a very strong claim and so deserves it:

Citation needed
Read the linked article.
I think the current after-market price ($180ish) pushes it out of the "value" category, at least for me (there's no hard science on this).

To me, $180ish prices-in some growth that I'm personally skeptical towards, hence my question! :)
Reportedly they've just yesterday released an update to give it better mathematical capabilities, though I have no idea if it extends to advanced math. Might be worth trying again. https://help.openai.com/en/articles/6825453-chatgpt-release-...
I think if you take someone who isn't too skilled in React, and then give them a different framework, that you'll end up with too much different of a result. I don't write much Vue, so I don't know what performance issues there look like, but I do know it isn't discussed much since it has a much smaller market share. If going VDOM-less really is a silver bullet, I'd be curious to hear more.
It's largely worse from the outside because meta has no goodwill to make mistakes and iterate in public. GPT-2/3 were just as bad at hallucination, if not worse. That doesn't mean that meta isn't iterating on their LLM in private using the 3b users and armies of labelers to fine-tune and improve their model.

From what I understand, they have one of the strongest translation models at scale, and their recommendation models for advertising are likely only rivaled by Google or Bytedance
Didn't You just state the Chinese room thought experiment?

It's an important observation that humans are just as capable of doing tasks without understanding them, and so its no surprise that the computer doesn't understand them either.
Perhaps you are approaching it from a normative POV, whereas the average among the HN crowd is looking at it from a descriptive POV.

In other words, maybe those acquainted with software and AI see the things you mentioned - AI Lawyers and AI developers - as inevitabilities that we will simply have to face. This in turn leads HN'ers to think in terms of entrepreneurship or "how can this make me money in the future?", which means adopting those trends rather than rejecting them, because if you do, someone else will adopt them. Thus, the whole techno-entrepreneurial spirit of this forum leaves little space for viewpoints that offer no technological or entrepreneurial benefit or advancements such as rejecting AI.
>not a stepping stone to something more like AGI

Why does AGI even need to be part of any of these discussions? It's a ridiculous pop-sci topic, and anyone who works in ML knows we're nowhere near achieving AGI.

That said, what ChatGPT/GPT-3/LLMs represent is a potential new way for people to interact with a corpus of documents that goes far beyond traditional search and knowledge graphs.
Hopefully they accept the slice version as well. Both of them contain very helpful functions that would be nice to have in the std library instead of rewriting them every where.
SEO - Google ranks those pages higher.
Location: Austin, TX
Remote: Yes
Willing to relocate: I love to travel, prefer not to relocate.
Technologies: Full LAMP stack, Symphony, web testing frameworks, aws, devops tools, static code analysis, Flutter
Résumé/CV: 10 years Senior Staff Engineer at Experian, specialized in automated testing. Exceptional leadership, team building and project management skills.
Email:ross@rossradford.com

I'm that highly versatile enterprise veteran looking to cross over and contribute at a higher level as director or executive. Looking for my next adventure in a role that challenges and interests me.
I think that accounts for most water use anywhere. ?
I disagree, it makes things more complicated by bringing in concepts such as generics.

Using MyPy will on average double your bug count per software feature. You might not think it does that. But if you actually go and measure it, the bugs go through the roof. There are studies on this. It's for subtle reasons revolving around where bugs come from in code.
That goes to the full discussion of an unrelated story. Direct link to the subthread where you made the FB comment:

https://news.ycombinator.com/item?id=33573232

(Edit: I would have referred to the company as Meta, like you did, but “the Meta comment” could have been confusing, even with the capitalized letter.)
If seriously, it definitely does not just generate bullshit, and there is no indication that it's not going to improve dramatically in a few years, augmented by other models.
You have to start somewhere. Google and others apparently have more powerful models already, but they don't release them.
I remember days when reliable voice recognition was thought of as nearly impossible, and here we are. I believe that the "bullshit" part is a brief, temporary phase.
That sounds like an issue with mainstream counterculture. :-)
Hi, is there anyone to contact or email to send a personalized message? Sent my application in also
> The President of the United States of America

Is not really a real person.¹ But if you think he's an example, he'll suffice for this. Please, state his position, and explain why you disagree with it.

> If you question LGBTQIAP+ or fail to affirm a kids' gender self-identification, you are out of a job.

I mean, yeah. That kind of power over children comes with a responsibility to keep your politics out of school – or, out of your position as authority figure, anyway. (A few, very few, teachers at my school managed the latter – and they only used this talent to rant a little about budget cuts to education, during times where we weren't obliged to listen.)

If a kid thinks she's a prophet of the Flying Spaghetti Monster, it is not for a teacher to tell her otherwise. If a kid thinks he fancies his best friend, it is not for a teacher to tell him that's wrong. If a kid says they're a fairy princess from Mars? To insist otherwise² is not the role or purpose of a schoolteacher.

> That approach

I didn't describe an approach, there: just a vague philosophy. I think you're reading too much into my words. What do you think the problems with my position are?

---

¹: At least, not while he's acting in his position as head of state. I elaborated on this in a sibling post: real-life people will tell you what they believe, but public figures (especially politicians) often tell you what they think will make you believe something. https://news.ycombinator.com/item?id=34616318

²: A teacher could mention that no life, nor evidence of civilisation, has been found on Mars. Using this as a rebuttal of the child's claim to Martian fairy royalty would be overstepping.
> most people could accomplish those trips without driving with little to no new infrastructure investment.

Cost is not the only issue. Often not even the main one. Please go to a town meeting (or planning board meeting) some time. Pay attention to what arguments people actually put forth, and how. They'll cite not only cost but inconvenience, damage to local businesses, historical character, even environmental issues. And here's the thing: any new project has to win every one of those battles, while the NIMBYs only have to win one. That's what we call systemic bias. It can be fixed eventually, but not just hand-waved over. Until then, better sidewalks and bike lanes will take years in most towns if they're allowed to proceed at all, even when the money is readily available.

> Meaningful changes like this could happen in well under a year if the political will were there.

Not just political will but authoritarian political will. The US is a country where toxic individualism rules all, to the extent that even agreeing to pay our bills is a major political fight. Starting major new initiatives is even harder, which is why there haven't been many since NASA was formed. The structural support for obstructionism has to be weakened - local, state, federal - before meaningful change can occur.

> None of these problems are impossible to solve.

Not impossible, but not easy.

> Defeatism doesn't do anything to contribute to a solution.

Neither does hand-waving, which seems to be the favorite way to do nothing productive around here lately. Recognizing the difficulty or complexity of a problem isn't defeatism. Would you make that claim about building a new compiler or relational database? Indeed, that recognition is an essential part of doing the planning and resource marshaling to solve a problem where and how it needs to be solved. The Manhattan Project didn't go with the first day's design. Neither did NASA. Neither did the allies at Normandy. Nor, most relevantly, did cities and countries that did put in decent transit infrastructure. "Just whack away at it without a clue and look down your nose at anyone not joining you" is not generally the way to really get things done. And if you don't like that characterization, fix your own first.
Definitely! And the migration to a proper custom-made platform would have been easy, just a matter of migrating the database instead of getting developers to start on a mess of tech dept.
Having half of the title is too triggering. That's not fair to the CS prof. Misleading.

But to comment on the article, although I've encountered several falsities in chatgpt output, I'm still very surprised that it could devise algorithms when I would give him the criteria.

And it would even output some code samples.

It shouldn't be underestimated as a programming aid.
Nope. AMD was a CPU manufacturer that bought ATI, a GPU manufacturer to become the #2 GPU vendor.

NVIDIA was a GPU manufacturer that bought a license for the ARM architecture and developed their own CPU/GPU SOC that they demoed in the "NVIDIA Shield" player that later made a design win in the Nintendo Switch. NVIDIA tried to buy ARM but got blocked by regulators.

I have two guesses about what is going on.

One is that the benefits of smaller transistor sizes are getting reduced in generation after generation. From the 1980s to 2005 the clock rate would go up so you not only had more complex chips, but they got faster explosively. Post 2005 clock rates have been stagnant but they would give you more cores, better SIMD facilities and better instruction per clock.

Still the price per transistor would fall but we are on the cusp of the price not dropping when the die shrinks. The move to chiplets, advanced packaging, and all that doesn't really help because you are still assembling packages out of expensive chips and spending more money on additional manufacturing steps. (Even if it does mean you can build SKUs that wouldn't otherwise be practical by putting together parts from a library.)

(The worst thing on the horizon may be that the lifetime of transistors is going to get shorter in which case a 50-series will not only have an eye watering price but it will burn up in two years.)

All of that is pointing to GPU economics getting worse whether or not the vendors are profiteering.

You might say they'd have a reason not to profiteer to not hurt their business in the long term but I'm not sure what business they will have in the long term. PC and console gaming have been shrinking relative to mobile gaming in recent years

https://kevurugames.com/blog/mobile-gaming-vs-pc-gaming-over...

Mobile gaming is nearly half of the business now and growing, the whole industry is being remade in the shape of phones and maybe they figure the gaming PC you build now (if you build a gaming PC) will be the last one you ever build and they'd better take you for all you're worth.

(The cloud changes the economics too because potentially a $2000 GPU in the cloud can be utilized close to 100% by different users whereas the GPU in your PC will usually be used just when you're playing. By that standard NVIDIA and AMD can't afford to sell you a GPU when a cloud compute vendor could afford to pay more for it.)

I got really depressed about the state of the game industry when I went shopping for games that expired on my XBOX ONE and found that, unlike lists for Nintendo platforms, "top 25" and such lists for the XBOX ONE are full of titles I made up my mind about years ago like "Call of Duty", "Assassin's Creed" and "Madden NFL". Shockingly, Skyrim was on the list despite it being a bargain bin game when I had an Xbox 360. Unlike Japanese and Chinese game studios, Western companies are not introducing major new games, just making more "Assassin's Creed" games, the one new game I can think of is "Control" and that comes from Finland.
Snail mail. Emails will immediately become helpdesk tickets and the onus is thrown right back onto you. There is no way to turn a snail mail letter into a helpdesk ticket. (Or at least not one that you're forced to interact with via email)
> then companies are simply baffled why people don’t want to be in video calls!

never had an interviewee decline to be on video call for an interview. Are you trolling ?
Location: US*

Remote: Yes (only)

Willing to relocate: No

Technologies: DevOps, CI/CD, AWS, Terraform, Python, Ansible

Résumé/CV: https://linkedin.com/in/kkost

Email: kyle+hn at localkost dot com

Looking for a part-time role for the next few months (ending mid-June at the latest). Currently based in US but will be traveling starting in Feb; aiming to work 15-25 hours/week. DevOps/infrastructure/cloud engineer.
It's certainly at least a step to far better knowledge aggregation, with SEO rapidly ruining search engines as they currently exist.
> rich contextual knowledge that humans bring to even quite simple activities.

I feel like the continual Tik-Tok reduction of attention span and high-speed memetics of it all is massively reducing our "rich contextual knowledge" and we're becoming a bunch of flippant oafs.
Any source for those made-up-sounding numbers?
The Burrito: A Brief History
I like how you put that.

Having children changed my life for the better and made it incredibly hard too.

I have many regrets on how I parented them in the past, but certainly no regrets about having children, except that I did not have more.
I suspect it's the same reason it grinds my gears that it's called a "learning rate" instead of "step size" in ML.

Not only is it less precise term, but it gives the wrong implications.

Personally, I'm on the side of releasing training data. Let everybody train on everything. But it's always felt absurd to say that the ML models are "learning" things.

But hey, none of us know how learning works anyway, right? So maybe it's not such a big distinction. As you say, none of us can pinpoint why a model isn't learning vs why we are.
Alice & Bob | Software engineering (multiple roles) | Full-time | Paris, France | https://alice-bob.com/

We are a Paris-based startup founded in 2020, competing in the race towards building the world’s first universal, fault-tolerant quantum computer.

Our approach to error correction is based on the cat qubit, which belongs to the family of superconducting qubits. It is designed to autonomously suppress certain types of errors at the hardware level and was developed by Alice & Bob and its academic partners. This allows scaling up the number of qubits in a more hardware efficient way, and puts us in the race against tech giants such as AWS (which are also following this approach), Google and IBM.

We are looking for software engineers to help building the framework controlling the hardware equipment and experiments, as well as the toolkit to automate designing and simulating the superconducting chips.

* Software Engineer - Instrument Compiler https://apply.workable.com/alice-bob/j/E4AC939F65/ (Python, C/C++, LLVM)

* Software Engineer - Design Toolkit Developer https://apply.workable.com/alice-bob/j/9A84BDD1B3/ (Python)

* Software Engineer - Experimentation framework https://apply.workable.com/alice-bob/j/8787158587/ (Python, C)

We are 60 and counting (PhDs, engineers) and growing fast! Feel free to reach out to know more (alexandre.thomas@alice-bob.com) or to apply directly.
The "small" things that make you happy you can use linux at $work :)
To me it seems to imply a stunningly nihilistic point of view vis-a-vis human writing (or art, where it also gets repeated a lot here).

It seems almost definitionally obvious that what an LLM does is not the same as what a human does – both on the basis that if all human writing were merely done via blending together other writing we had seen in the past, it would appear to be impossible for us to have developed written communication in the first place, and on the basis that when I write something, I mean something I am then attempting to communicate. An LLM never means to communicate anything, there is no there there; it simply reproduces the most likely tokens in response to a prompt.

To insist that we're just a bunch of walking, breathing prompt-reproducers essentially seems like it's rooted in a belief that we have no interior lives, and that meaning in writing or art is utterly illusory.
Facebook-parent Meta announces $40B stock buyback
What does AH stand for? Thanks.
For convenience, here's a link to that comment: https://news.ycombinator.com/item?id=34618901
I misunderstood the part of the RSU's: I thought you meant that by the time they vest they will be worth considerably less than $179M, because the stock price has gone down. However if I understood you correctly now, these will be worth 0 if the stock price doesn't hit a certain value in time
There isn't an opt out for things like facial tracking, and it doesn't bring benefit unless your goal is to be sold things based on being calculated. If they had a way to automatically track you for your benefit like emotional distress, lost kids, etc it is not adversarial.
My goal is to not be sold things I don't need or to add to their data, so I don't go to Disneyland.

Is there any benefit to the end user if they're not interested in being sold to? If I don't get one is adversarial and they are my enemy.
We had dedicated QA testing. QA testing failed to create the requisite conditions.

Type checking is not a replacement for QA testing. However, it is much cheaper and also finds bugs that might be incredibly hard to find through random chance or through structured smoke testing, because it does not depend on how common a given code path is. QA testing is even less likely to find issues than automated test suites, since at least you can qualify branch coverage with test suites (which still will not enumerate all of the possible code paths, and thus... Type checking is incredibly useful.)

So while type checking really is not a replacement for QA, QA is also not a replacement for type checking.

I ultimately quit Python for many reasons, but the desire to write more correct code was the big one. Not just me, but my entire team was burned out on Python. Investing so much into unit testing and increasing coverage, upgrading Python versions, and adding type checking as much as possible was still not yielding the benefits we'd hoped for despite how much effort it took. We eventually found much better success with the then-still-new Go programming language, which we used on most new projects going forward. There was still the occasional head scratcher in production, but deployments were as quiet as a church mouse. YMMV of course; there's plenty of success and failure stories with any programming language. I think we were all ready and willing to put a lot of investment into improving our robustness situation and just felt that we got more out of that effort with Go than Python for our programs. Python still has plenty of advantages too, so we didn't completely quit it; we wound up using Django and SQLalchemy here and there, but definitely most stuff moved to Go over time. (And personally, I stopped using Python for those things too, since moving on.)
I don’t disagree with the general spirit of what you’re saying, but as a former teacher the observations that fall under Mandatory Reporting are fairly specific. Additionally, I know more than one CPS worker on a personal basis and the types of things that get a child removed from the house are religious and severe. Nothing that you have said would cause me to call in a report unless your kid showed up to class with signs of violence on their body. The stories that get reported on are reported because they are exceptional, not normal. I lived a property less, transient lifestyle for years before settling in a place. I don’t write this to change your mind, but to respond in kind.
The system feeds unpredictable bits into its kernel random number generator and then expands it, through /dev/urandom and getrandom. You, as a developer, shouldn't be messing with any of this. (Obviously: Keccak, AES, and ChaCha are not themselves CSPRNGs at all, but rather primitives cryptography engineers can use to create them).

If you're seeding an RNG, you're almost certainly working with a userland RNG, which is, almost always, a mistake.
Yes! Very much so.

Just tried this and it works great!

I changed app.py to this:

import sqlite3
print(sqlite3.connect(":memory:").execute(
"select sqlite_version()"
).fetchone()[0])

And it output "3.39.2" - but the same code in my regular Python interpreter output "3.40.1", which demonstrates that the WASM Python there has its own WASM-compiled SQLite.
Location: Auckland, New Zealand
Remote: Yes
Willing to relocate: No
Technologies: HTML, CSS, JS, SQL, C#, Java, Git, Flutter
Résumé/CV: 3 Years Web Developer, Computer Science Degree
Email: mustafahossaini@gmail.com
i really enjoy goreleaser https://github.com/goreleaser/goreleaser/ and use it with rust https://github.com/chmouel/snazy/blob/main/.goreleaser.yaml#... combined with build matrix https://github.com/chmouel/snazy/blob/main/.github/workflows...
OpenQNX Source (2007)
https://github.com/vocho/openqnx/blob/master/trunk/lib/c/1/o...

https://www.qnx.com/legal/licensing/index.html

http://www.qnx.com/news/pr_2471_1.html

https://openqnx.com/node/471

http://www.qnx.com/download/download.html?dlc=proc&newsearch...
We meant dodo bird nfts
$7bn in Q4 is just like the $21bn in the three previous quarters - when the stock was going down - and doesn’t seem so unpredictable.
Article by Atul Gawande from a few years ago talking about Medical software, scribes and "virtual scribes"

https://www.newyorker.com/magazine/2018/11/12/why-doctors-ha...
Less relevant are better if you do not like ads. It is bit easier to filter them out of the mind.
Thank you, I couldn’t see the interesting part due to zoom/number of other planes etc.
You don't rewrite them; you just import exp/slices. The only thing bringing them into std really changes in practice is the import path.
Yup, 100% true. But they can both be true.

I mean it in the way that many people who might never have gone to college are now expected to do to not have a minimum-wage job forever.
Unless you're wearing an EEG device, it's probably different from what's being studied here. Audio entrainment without feedback has been known for 40+ years and hasn't shown meaningful benefits AFAIK.
After hours , as in stock movement after the market has closed for the day.
I'm not the parent commenter, but it grinds my gears because the answer is obvious. Humans value human creativity because of emotion, shared experience, and the value we place on each other as humans.