skysight-inc/HackerNews huggingface dataset:
Just because speculators aren’t actively trading the token and volume bots aren’t creating fake volume wash trading doesn’t mean the proejct itself is dead at all.

One thing about US regulations… we did not want to get involved with making the secondary markets or whatever. Expect the community to do it. We don’t care about attracting speculators to pump and dump. We believe that once we attract CUSTOMERS then the speculators will turn up to make the market.
A simple act of kindness changed the trajectory of a young man's life
Copilot is great for this and it’s impressive how the code it suggests is in keeping with the conventions used in the existing code base. Will be even better when I can highlight something like a string literal SQL statement in code and have it suggest optimizations. That’s just a tooling issue but that kind of context switching within the IDE will be fantastic.
The new search? You can't even use search on source code without being first authenticated, which requires signing up for an account.
Can you explain what's non-deterministic about swagger/open-api?
We’re all part of the same factory farm (2022)
I’m not confident that is the case anyway. Modern business has a level of complexity that a given customer has to prioritize the levels of avoidance they can tolerate. You might avoid businesses that have a bad reputation of workers rights, sustainable resourcing, customer privacy, humane treatment of animals, responsible security disclosure, etc. but can you avoid all of those things if you wanted?
> You'd think SECURITY RESEARCHERS would have a little more common sense than this.

This "cloud" thing promised to "backup my data", not "delete it because it thinks it's a virus".
27-year-old pays $0 to live in a ‘luxury tiny home’–how she built it for $35,000
>And yet, the general reaction of most people seems to be, "That's kind of cool, but why can't it also order me a cheeseburger?”

Well yeah.
Imagine you tell a small child that knows about calculators, “Hey can you work out 18763 + 38284, for me?” They might struggle and then maybe fetch a calculator.

The LLMs attempt to predict the answer. WTF? It’s a computer and it can see that is a plus sign. Just understand its addition, and use the rest of your computer brain and do the sum. Hell, it is connected to the internet and we just taught you everything since before 2021. Just call out to Wolfram and give me the answer.

But that’s not how computers work. And we keep saying “AI” but that I is doing a lot of heavy lifting.
> infinitely-resilient

This is complete hyberbole. The security of most blockchains can be quite explicitly expressed as a number (of hashes per second, coins of staking, or whatever the consensus mechanism of the day uses as its scarce resource for allowing appends to the database), and it's very finite.

Another very real danger is a lack of interest and/or economic incentives to keep it going. I wouldn't be surprised if we've already lost many terabytes of data on "infinite append-only ledgers", since disk space still isn't free, and massively replicated disk space even less so.
I am speculating, I’ve only done this at a small scale and had anecdotally good results. I just put examples in the comment for the function signature.

…but I can say with complete confidence that generating code from a coherent set of c header files works better than generating “one shot” full code files just from a high level goal and a file name.

You’re basically reducing the problem space from literally anything to a subset that has an defined structure.

(It helps that #include literally maps to a flat single header in c and having comments in c headers is typical, perhaps?)
it's hard for people to imagine what the finished, polished product will look like, until you show them

they just think it will look on their wall like it does now

I've worked with 3d artists in the past to turn my ideas into renders, but nothing sells the device like a finished beta that's pretty much ready to be boxed (or a hollywood mockup, if you have the budget)
I want to assume best intention, but you have absolutely no reason to believe he was “thinking with his dick”. That is a rather sophomoric take.
It certainly is notable for its longevity, outliving most of today's companies. And there is a good reason for that longevity: its special arrangement with the crown.
So the fact that Geoffrey Hinton, Stuart Russell, Dario Amodei, Shane Legg, Demis Hassabis, Paul Christiano, Jürgen Schmidhuber, among many others, think that there's a non-trivial chance of human extinction from AI in the next few decades, should be a reason to actually evaluate the arguments for x-risk, yeah?
The funny thing is that because the traditional finance systems were grandfathered in no one cares that they had been taken over by speculators long ago. And lets not even get started on the fiat pre-mine that is fractional reserve banking giving chartered banks the ability to mint new M0 currency, and only chartered banks. Which pragmatically means that ~4000 corporations in the USA get all the newly created currency.
Those aren’t the parts that are used though - it’s the Spring XML as the replacement for the “new” keyword that is more likely to be found than XSLT or XSD.
> And yet nearly every American is vehemently against the H1B visa

That is a very broad generalization, considering 27% of Americans are foreign born. Yes, the MAGA crowd is largely against H1Bs (and even here you'll find lots of exceptions), but they didn't win the last election.

> which is the only way for 99% of non American tech workers to work in the U.S. and not do the same work outside the US.

And yet, America has a lot of H1Bs and greencard holders, unlike China or India themselves (I say this having worked on a Z work visa in China for 9 years).
In my experience with ChatGPT-4, I'll get a full 2-300 line class, with maybe 1-2 compilation errors (often a missing import or invalid function invocation). In most cases, I can copy the compilation error back into the chat, GPT will apologize, fix it, and it'll run correctly the second time.

It's obvious that this will be faster and more effective once a GPT4-class model is tightly integrated into the run-compile-test loop.
I think she thought she'll never go to prison, just like she thought her startup would work, despite all the scientific knowledge against it. So why not get pregnant?
AGI Futures
Yeah, this was a similar kind of journey that I went on - heard about Bitcoin, was fascinated, started learning about money (started with things like the 'money multiplier', 'fractional reserve banking' etc., realised they didn't actually follow accounting rules and aren't how real banks work, eventually found the answers of how it works with stock-flow consistent accounting, endogenous money in banking, sectoral balances etc. - Monetary Economics by Godly and Lavoie is a good resource - I think a PDF is available if you look for it) and realised Bitcoin couldn't really work as actual money. It's still a very interesting thing from a theoretical point of view, but it's a shame the grifter culture that's grown up around it, and the huge amount of energy being used to run the system...
Altman Talks with Congress: First in Series, AI Hearing
That wording is used both by the IRS and USCIS. Non-GC holders are non-resident aliens, but some visas are "dual intent" which allow you to become a resident alien/permanent resident/green card holder. For the IRS being a resident alien means that when you get kicked out of the country after (iirc) living in here for 7 years you have to pay taxes on any assets you own in the US as if you had sold them, just like Americans have to when renouncing their citizenship.

Edit: Quick googling to double check myself and it seems you're right in that USCIS indeed doesn't use that wording, which I must be getting confused with some other term they use in some form, or some other agency, or I'm just plain wrong and got the IRS wording internalized with something else.
One thought: GitHub is basically a bunch of very complicated interconnected databases, no? I mean, to some extent all large web companies are, but GitHub much more than most. Any failure is going to be, in some sense, a database failure.

Another thought: this could speak to a critical weakness in GitHub’s database team. Maybe they hired a lot of bad developers to the database team at the same time, maybe a bad culture took root in the database wing’s management team.
The Jupiter-sun barycenter is outside the sun. It's still a planet.
A construction consortium is a true finite-life operating company. These are companies established to build some big project, and shut down when it's finished. The first big one was Six Companies, created to build Hoover Dam.

Not just large consortia like that. At least in Canada, it's common that Foo Inc. will create Foo 1234 Main Street Inc. as a wholly-owned subsidiary to construct a single condo tower. I think it's a matter of limiting their liability (or at least keeping potential liabilities from one project from affecting other projects). A few years later once the construction is finished, the company is wound up.
Look at collector.js, in the first dozen characters it's already using ECMAScript 6 standards like promises. At the very least you need to change that "last 20 years" to the last 5 years.
I think the microfluidic testing could have worked with ML and computer vision. I believe there was/is an Israeli startup working on it a few years after Theranos.
Google has announced its plan to remove inactive accounts in the near future. Starting later this year, inactive accounts that have been dormant for a certain period will be purged from the platform.
Article should have 2017 in the title.
Man, I'm still looking for a modern pixel-centric drawing app like Deluxe Paint. WHY does everything now have to be so....so _agnostic??_

There was ArtGem for a while but for some inexplicable reason the author discontinued it:

https://www.rlvision.com/artgem_about.php
They'll just build one in Iran or some other US advisary. The US will lose the arms race and the tax revenue.
picocss - Minimal CSS Framework for Semantic HTML
> You make the comment a child node of the object literal node, don’t associate it with the following key/value pair at all. When you pretty print it, it will have the same relative order with the following kv pair as it had originally (and you cannot reorder json keys safely because the handling of duplicate keys is implementation-defined).

Many implementations parse objects into hash tables and lose duplicates and even order of appearance of name/value pairs, and all of that is allowed. Such implementations will not be able to keep relative order of comments.
Because the Nintendo switch is an out of the box great experience you can easily buy at retail stores.

While the steam deck is an expensive tinkerers device that’s usually sold out.
Show HN: Taskspace – Beautiful, simple, and customizable personal task manager
Hello HN. I built a personal task manager https://taskspace.app to experiment with NextJS. Wanted something simple and clean that I could keep open in the browser while I work.

Added in task history viewing for easy reference during daily standup and when I need to summarize my completed work throughout the year during performance reviews.

Now opening to the public to get feedback and see if folks find the app useful. Wondering If I should invest time building out additional features or if I should continue using it only for my personal workflow.

Thanks,
Tyler
What would you rank as a bigger loss? My list is pretty short. Wife, kids.

Losing a job means you lose your friends, your work, your brand, your routine, maybe the commute you chose your house for. Maybe you'll have to move your family. Your kids lose their friends. Your wife loses hers. Maybe you lose them in the somewhat likely divorce. Maybe you're upside down on the house you bought in that town and now you lose all your savings to move. Maybe it was a layoff, maybe you can't even afford child support. Maybe you're deported.

If we're stooping to personal insults, are you a child with zero real life experience?

Iirc, 1 in 4000 men take their lives in a layoff. In a year like this, shut your fucking mouth about how "fragile" other people are, you absolute twit.
This is the only "pro-AI" comment that I've seen that makes sense. This isn't too different from the non-CS interviewing strategy. Try to make interviewing cheap and accept that it is a noisy (and biased) process. This also makes it easier to let bad candidates ("false hires") cheap replace.

As I see it, you're trying to optimize: p(X|F,C) > T, F=filter, and C=cost, and T=threshold. Treating this as a probabilistic problem seems important. So reducing C is valuable, even if F is not as good.
This is unbelievably generous, I'm happy.

I feel like people forget Hotmail et al. circa 2001 when 60 days passed and you lost everything. Sometimes you could keep your account and just the data was wiped out. This was ABSOLUTELY THE NORM on the internet. Google overturned it single-handedly.

In Texas my automatic payment for my storage garage where I have $10,000s of my designer clothing collection didn't go through because my bank removed overdraft payments and I missed the email. They made very little attempt to contact me, pathetically little in my opinion, and when I finally caught it barely 30 some days later they said my possessions were all days away from going to auction. It really disgusted me. My whole life is stored there since going nomadic.

They don't have a prepay option otherwise I'd gladly pay annually or biannually to play it safe. Based on the US culture, I believe it is their actual goal to take possession of all my things. My only copy of school yearbooks and college degrees are also there. I really doubt any other country is as hostile and would love to move it all to my storage in Thai or France if not for customs and import taxes complications.

I didn't use my Hong Kong subway card for 9 years and the balance was still there, in America at almost 0 cost to them to keep it active, the NY subway system 100% would have stolen my money. I fundamentally HATE whan the culture tolerates as normal. Google ain't bad at all.
artists put their artwork online, let people use these in an acceptable range. usually, learning (not copy) from it is acceptable. but there are more controversy around generating million artwork have same personal style, let artists lose job and let their families starve.
And cutting your employees some slack.

Confessing to being a tightwad boss who would stare out at thr parking lot & keep score of who showed up when & when they left is 100% a recovering piece of shit asshole boss move.

The whole RTO drive just seems like so many bosses can not & will not ever give up such superficial shitty assessments.
The gambling component is also effectively illegal, because you can't win money from the games directly. You can, however, win tokens, which a little shop conveniently located right next to the pachinko parlor will buy off you in exchange for cold hard cash.

Like everything else in Japan, though, pachinko is also slowly dying off as the population ages, and the long-planned/long-delayed opening of actual casinos will also cause a big hut.
For better or worse if I was in the US I'd sign up for a free Telly specifically to have a "smart TV" to play about with and explore alternate firmware | blocking, etc.

I don't know how tight the terms of service are in order to compel keeping the 24|7 ads streaming and|or the telemetrics that check that no mods have been made, but I'd bet good money they'll be a mod crowd happy to take a free TV and bend it to their ends.

I'm sure the click through includes "By accepting this free TV you agree to no alter it in any way" but I have no idea how binding that is in the US or elsewhere.
Depends what country. Bypassing drm is not illegal everywhere.
It depends on the country.

If you copied the game and you have already bought it, then it is fine. Distributing the ripped game for others to download for free is piracy and is illegal.
And frankly, who cares about Elizabeth Holmes the person? Society is better off when we make a strong example by punishing frauds and con artists.
And the new GPD Win Max (2023) looks fantastic as well. It's spec'd up to a Ryzen 7840U and maxed out you can run 64GB of DDR5 and has PCIE 4.0. It's even got the new Oculink port.

https://www.gpd.hk/gpdwinmax2
Even if you assume good intent with regards to regulating AI, how could regulation possibly be effective in this sphere? Wouldn't people just train models in friendly jurisdictions or run their corporate entities there?
From what kind of sites? The kind that know and care about WebGPU support enough to include your iframe? That's some heavy selection bias if my assumption is true. Not a lot of low end smart phones visiting the kind of person that runs that kind of site.
Common Diffusion Noise Schedules and Sample Steps Are Flawed
Maybe it's not the argument you intended to make, but it is the one you made.
This has nothing to do with perception being manipulated
I'm guessing misleading facts about covid or the election or something.
That’s astounding. For comparison, gambling is 0.2% of GDP in the US (60.4 billion [1] / 25.46 trillion [2]). And I thought we had a gambling problem here.

[1] https://www.statista.com/statistics/1332999/gross-gaming-rev...
[2] https://www.statista.com/topics/772/gdp/#topicOverview
It's very hard to guess her thinking, because the limits, considerations, and guesses about the future that most people have aren't ones that she would have.
He was like 37 and she was 18 when they met, right?
Says a lot that @Vt71fcAqt7 is describing a chosen segment with population analyses, while you're giving as bad-faith a response as I've seen on HN.
If there were an Elizabeth Holmes clone that had been punished 10 years prior for some similar con, would this Elizabeth Holmes have not become a con artist?
> Unfortunately the same applies to the amount of sea level rise they offset: it too would be a rounding error, a fraction of a percent.

Flooding Flood the Qattara Depression would lower the sea level by 3mm according to the article.
It’s actually decreased pretty significantly since 2015. In 2021 the amount spent was 14.6 trillion. But yes, still an enormous amount of money and time spent at pachinko halls.

https://www.statista.com/topics/7427/pachinko-in-japan/#topi...
This is literally why git exists.

I wouldn't say 'beware', rather, just say 'fork it and have fun'.

Obviously you have to be a bit selective over who can contribute to a small project.
It seems the number of active Bitcoin addresses hasn't grown for 2 years.

https://www.lookintobitcoin.com/charts/bitcoin-active-addres...
Eliezer Yudkowsky on What Superintelligence Can or Can’t Do
The more important part is when do they make the distinction from "moon" to "rocks"

Plenty of larger rocks in Saturn's ring.
Try asking a programmer to provide a formal proof of correctness of even a simple algorithm. Most are not trained to do this. Many try to forget it when they leave academia. Few actually try to use it.

Expecting a human to disambiguate and do nonsense filtering is a crap shoot. Usually done through trial and error. We write things we think are correct according to an informal specification and since there’s no way to prove our implementation is incorrect… we review it, wrote a few example tests, and deploy it.

Surprisingly this is good enough most of the time because the liability for mistakes lies with the company, most mistakes are benign, and users will tolerate being frustrated to a degree.

This is why I’m not optimistic about LLM’s replacing programming. The art and science of programming is rooted in formal mathematics. It takes a sophisticated ability to reason and a certain amount of creativity to write beautiful proofs. And formal maths demands a level of rigorous thinking that even mathematicians balk at.

The allure that EWD is writing about here is very much alive. Many people hope to have a genie inside their computer do the thinking for them. It may not be the answer we desire but precise thinking is what we need and I would rather have better tools and languages for doing formal mathematics and programming with them than using a really expensive system to piece together the program I want from other peoples’ code and guessing what I want from an imprecise specification.

If the specification itself isn’t precise then any program I give you, by definition, cannot be wrong.
It is in the same spirit as Maven AI, but takes a slightly different approach. Great to see the progress in this space!
In Houston it's common for towing companies to make deals with managers of apartment complexes to allow them to independently tow vehicles which are not considered fully compliant with some newly added terms the residents are informed about by issuing a memo.

Memo crafted by the single "authorized" towing company in addition to strategically placing warning signs only on the limited number of spaces where non-resident visitors are actually allowed to park.

Towing company given a gate pass especially intended for after-hours use on their own to scout for victims when everyone is asleep and more cars are present, especially in complexes where there is no shortage of spaces, without warning, and at times when there has been no complaint from law enforcement, residents or managers.

I can only imagine there is some hidden compensation to the agreeing manager, perhaps per vehicle, and once that manager moves on, the agreement remains with no undue compensation for future managers unaware that the shady situation was not known to, or initiated by, the actual complex owner's policies.
These are pretty good. For some reason a particularly sad one to me (which he mentions) would be if we get some otherwise-temporary setback, but because we've used up the most easily accessible resources like fossil fuels and high grade ores, we are never able to make a technological society again. Of course this isn't really more sad than 'evil ai tortures immortal simulations of our minds forever' but maybe more of some specific kind of sadness.
It's rigor applied where we don't need it, and ignores where we do (mathematical proofs and NN theory, architecture, hyper parameters, training schemes, etc).

I have a somewhat irrational hatred towards almost all of the prompt oriented stuff being thrown about recently. There are a few (very few) input related training schemes that are interesting, but quite a bit of the "proompt-physicians" are just heralding the idea of essentially 'concise and effective communication' as 'I'm a ML expert now' ... which is annoying.
I want to endorse the process and maybe not worry so much about the result. I started on a similar journey in the pandemic of making pizza for my wife and kids every Friday night. They all receive their own (small) personal pizzas, which I knead, roll, and transfer from a pizza peel to a pizza stone. Starting from a NYTimes recipe for Roberta's pizza dough — a pre-children favorite of ours — and iterating from there, I became confident over dozens of repetitions. My pizzas now are very crisp on the bottom without being burned on top, and I can "sense" when the pizza is done, no timers needed. I can feel when the dough is hydrated, I can see when it's rolled flat.

All this isn't about knowledge that can be imparted in a book; it's frankly about kaizen. The art of doing it a little better this time than you did it before. If you do it 2% better each time, after ~35 times, you're twice as good. Don't get me wrong, I love (love!) the open knowledge here. But OP cannot put in the reps for you. Only you can put in the reps.
The concept separation of concerns I apply every where, and I like my dashcam not connected to any cloud, if I ever needed a footage, I’ll just take it from the sdcard.