skysight-inc/HackerNews huggingface dataset:
Rocksmith is kind of like that. You plug an electric guitar into your game console and play games with the guitar.

I really wish they would come out with an updated version for the PS5.
Thinking a bit more, there's nothing special about airplanes. The world consumes about 100 million barrels of oil per day. I guess most is transportation, but in the end it does not matter. There are about 7.5 barrels to a ton, so about 13 million tons daily, which is very nearly 5 GT per year. Each ton of oil produces about pi (3.14) tons of CO2 (of course pi is just a coincidence, but it's easy to remember). So about 15 GT of our worldwide 50 GT greenhouse gas emissions come from burning oil.

How are we going to replace that?

5 billion tons per year means about 150 tons per second. At about 40 megajoules/kg, that's 6000 GW. Six thousand large (1 GW) power plants.

You say it's fusion or bust. What if we had fusion today? Commercial, economical fusion. As easy to build as natural gas power plants. How are we going to build 6000 large such power plants?
If someone offered the same thing with better privacy for business use, I'd use it.
Thanks! I wonder why all of my devices are offline. Really weird. I also found their Instagram account (about the only social media account still around) and they haven't posted anything in over a year and there's a bunch of complains there: https://www.instagram.com/p/CbvSqTLs6fH/?hl=en

I'll try emailing them.
If I'm interpreting correctly, this is a psychology paper taking examples from early algorithms in AI research and then applying them to constructing a psychological model of the human mind with them. Presumably to inform other psychological techniques?
Scientists use AI to discover new antibiotic to treat deadly superbug
NCS and CCS use the same communication protocols. The differences are in the actual charging station.
Raspberry Pi/PlatformIO conflict blocks support for Pico-Arduino toolchain
I think by definition the fact that 90% could do it meant the odds were in their favor. This tells us something about the narratives floating around in our environment.
Printing Money: The Absolute Privilege of U.S. Dollars
Where I think it's gonna start to get really scary, and much more closely approaching "real A.I" / AGI is when they start augmenting and wiring together various differing forms of "A.I." with each other. GPT-4, no matter how impressive it might appear on the surface is still "just" a large language model. Augment it with other types of learning models and at some point you might just hit on the right combination for it to start some form of actual "reasoning" thought or "creativity".

As long as they're all still "special" single-purpose systems (LLM is about processing and responding to language input for example, CV / Computer Vision models specialize in operating on visual or image inputs, etc.), that's all they'll ever be, no matter how good they get at pretending they're more.
Does Russia have a similar divide between conservatives and liberals? I would guess not. Something else comparable? I think the demographic issues, socio economic, and wars probably occupy everyones concern enough that they dont quite have the same type of internal conflict. More survival than vying for political power.

The US has admitted Russian refugees. Im sure both these refugees and Americans emigrating to Russia would cite repressive governments.
Who says that anything humans do is a sign of intelligence? We're assuming quite a lot about the importance of skyscrapers or of going to the moon, and we're also assuming very little about what it takes to be an Orca.
eBPF is a real-world system that also refuses to accept programs that might not halt. You don't have to solve the halting problem, you just have to deny the programmer loops (and loop-alikes, of course; recursive functions, jmp, etc).
So....these students aren't morally failed cheaters, they are just bad researchers who will copy bad information from random Internet sites?
Actually, the CVE-2023-283131 vulnerability was published with the full details just two days ago. In April Expo published a short post but without too much technical information.
You can find more details about CVE-2023-283131 in the link I shared here:

https://salt.security/blog/a-new-oauth-vulnerability-that-ma....

Thank you for bringing up the distinction, and I agree that OpenID can help address some of the issues, but not all of them...
Environmental and green-related projects have a history of purposeful sabotage by business/industry.

See: NiMH battery patent encumbrances.

More recently, trade objections by the tiny US solar manufacturing industry causing solar panel imports to dramatically slow while everyone waits to see what the feds think about foreign solar panels not meeting trade regs.
Well, if I learned anything from Zorg, it's that life comes from destruction, disorder and chaos.
If you've ever seen one hunt a seal you'll also see exactly how human-like they are when they play with their food by throwing it up in the air and catching it.
Google Threat Analysis Group – Influence Campaigns Terminated in Q1 2023
“For instance, on the planet Earth, man had always assumed that he was more intelligent than dolphins because he had achieved so much—the wheel, New York, wars and so on—whilst all the dolphins had ever done was muck about in the water having a good time. But conversely, the dolphins had always believed that they were far more intelligent than man—for precisely the same reasons.”

― Douglas Adams, The Hitchhiker's Guide to the Galaxy, 1979
> And should such people go to university?

Absolutely.

The caveats are that if your family is rich/aristocratic class, then it probably matters much less and if your only options are mid tier universities, they might not be worth it.

Universities offer resources, opportunities, a network, prestige (it really does), and an environment where the latest trends are talked about and examined, easy access to the latest journals and the like.

I think a lot of people who grow up in the west don't understand what an impact western universities have on their societies. If you get a degree from a high tier university, many countries will let you in without much struggle, you are definitely in demand.

Where I went multiple people became bitcoin multi-millionaires because they were reading block chain papers when the BTC price was below a dollar.

I can't give such glowing reviews for universities for mid tier schools, but if you can get top 10/top25 on the world stage, I would say definitely.
Stepping down as project leader of GrapheneOS
At distance it's an inverse square law I believe
100%. A cartoon with the warning helps too.
Seems you were at least partially successful
Nope. Use it for grant proposals...
start with body weight exercizes for a couple months

then slowly ramp up to weighted resistance

it's an uphill battle , 2k steps is nowhere near enough
Offtopic, but isn't it funny that the system that calls itself FreeBSD has a concept of "jails"? Couldn't they come up with better name? :)
This is beautiful for grating discomfort. And for over the top insanity, there's always Z̴͔̊ͤͨ̀ͅä͚̦̯̤͟l̸̤̙̰̥̝ͭ͛ģ͍̫̙̬̪̺ͯo̧̞̖ͤͪͦ͒ ̵̗͍̩͔̀ͭͪţ̪̯̘̭̤̲̰͗͒ͩͬe̢̤̙͇̘ͩ̓ͤx̷̩̤͕̺̍ͅt̩͔̪̠̞̳̟̱͂ͦ͜
Too risky for the environment they said, so they switched to Russian gas.
Perhaps it's not a moat.

However, if the advantage is due to things like inference infrastructure to support a massive model, that isn't easy to duplicate.

I would also say that the quality of these smaller models are good, but we also may not be measuring them correctly. Recent papers suggest that these smaller LMs dont fully capture ChatGPT quality in ways that may not have appeared with crowd worker ratings [1]. It's easy to have your inputs be inside a happy distribution for a paper but fail in the real world in ways that GPT-4 doesnt.

Lmsys would love to compare with bigger models but have limited resources. Contributions are welcome [2]

[1] https://arxiv.org/abs/2305.15717

[2] https://lmsys.org/blog/2023-05-25-leaderboard/#next-steps
Apologies, I mixed up the font I had meant. I meant to refer to things like https://www.fontspace.com/hardsign-font-f46378, or https://www.fontspace.com/the-ranch-font-f88750, or the various Fraktur fonts that you mostly see in tattoo-art these days. These fonts are not normally used on warning signs. Unless you consider old-west "WANTED" posters to be warning signs.

These are fonts that are not just eye-catching, but actively painful to look at for how striking they are, to the point that they're even maybe a bit hard to read (but you still end up reading them, because it's hard to look away.) These are fonts that scream at you — fonts HR would never dare to use, even knowing they "work", because it'd be unprofessional to be that attention-grabbing. It'd be the typographic equivalent of blowing an airhorn in a small room in order to interrupt someone.

Or you can go the other way, and just put an actual picture of the grim reaper on your sign: https://www.reddit.com/r/pics/comments/58b3vj/stop_prevent_y... .

(Though actually, oddly enough, something about that typography makes me feel threatened even without the image. I think that particular tight leading with all-caps lettering using a high-weight sans-serif font, puts me in mind of specific public civic-engineering uses of typography to warn people away from high-voltage power substations, large AM radio transmitters, hydro-dam spillways, etc. It's a subtle thing, but it's enough to make it really not look like your standard HR print-out. See also: the old shield of the US Department of Civil Defense — https://en.wikipedia.org/wiki/Civil_defense_in_the_United_St.... Seeing that on something is just unsettling — for purely typographic reasons!)
I came here to post the same video! Very entertaining, but also depressing about how so many things are just a shallow grift these days.
How are you sure it isn't? He has a history of doing this very thing. Rust, copperhead and now graphene.
No A/C? No problem, if buildings copy networked tunnels of termite mounds
I've been writing code for pay for more than 20 years and will forget basic syntax and keywords for a language I wrote hundreds of lines in yesterday without other code to crib off of, IDE assistance, and/or reference material (google, whatever). Like, I'll forget if it's "else if" or "elsif" or "elseif" or "elif" or whatever. Or I'll mix up how to access hash/list members. How to designate a constructor. Stuff like that.
It's great to see someone selling with some consideration of the intentions of the purchaser rather than just to the highest bidder, there's not enough of that going on in America. I know it's not exactly prime real estate, but still.
Why is strcat the target of such harassment?
> !@^$-!@$!@$-!&%^!@-(*&!-BOLD.

Shit, I need to change my password.
If I joined a company like Mozilla as a programmer rather than Google etc my motivation would probably be to create a privacy-protecting browser. If my company asked me to implement user-hostile features I’d just walk out. It’s not like someone like that can’t find a different job somewhere else.
To be clear he's claiming (among other things) that someone swatted him. Do you mean it wouldn't surprise you that someone swatted him for being rude?

Given the way he's described certain interactions he's had with others, I take everything he says with a grain of salt. But then again, swatting is a pretty clear cut thing. So I dunno.
> - open source password managers (w/o reading source code)

The open source qualifier here is weird, like you're implying closed source managers are preferable, but then your objection can hardly be over reading the source code
From the little info about the arrest in the article" hack" sounds super click baity. I bet he had a video a very rich person didn't want him to have, which isn't a crime in and of itself. But hey, it's America after all
Tesla data leak. Another one
Good analogy. I stopped responding after I understood some easily avoidable risks were totally acceptable to bandrami. That's not how my risk model works, especially when it's usually very easy to not accept such risks at all and the alternative would be a potential disaster.

I personally like to have my life/work set up so that I know what catastrophies _can't_ happen (the probablities can be compared to the effort required to boil oceans or waiting until the heat death of the universe).
This could be applied to a host of fields, especially software development and AI.
His thesis was something along the lines of you let people guess the incorrect answer first and then show how it's wrong the lesson will stick better. This was very apparent and great with his earlier works (eg. teaching gravity and letting people guess heavier objects fall faster) but got obnoxious when youtube revised their algorithm and he went full click bait and controversy (eg. modelling electricity as water is wrong).
are gravitational waves like, universal? could we use them as a timing reference, I wonder?
Yes, and also Jesus.

https://en.wikipedia.org/wiki/Christianity_and_Judaism#Sacre...

https://en.wikipedia.org/wiki/Judaism%27s_view_of_Jesus

https://en.wikipedia.org/wiki/New_Testament#The_Gospels
Here's the reasoning, should the tweets get deleted: https://thephd.dev/i-am-no-longer-speaking-at-rustconf-2023
Humans can’t solve the halting problem.

Write a program that, for a positive integer, runs the Collatz process on it (if even: halve it; if odd, multiply by three and add one; repeat).

If the process results in a 1, move on to the next number and repeat.

If the process produces a number it produced previously, halt. (Worried you’ll need unbounded state for this part? Use tortoise+hare, it’s fine).

This program halts if and only if the Collatz conjecture is false.

Now, the Collatz conjecture might not be unprovable. But for now no human can tell you whether or not that program halts.
Parking structures are very expensive to build. Concrete and steel are expensive and you need a lot of it to hold up the weight of all the vehicles (and the dynamic loads while they are driving around)
Update your dictionary
I can't be sure of anything. However if you want to compare the situation with Copperhead, I would point to the fact that he had a very public falling out with his business partner. I see nothing of the sort here. I've only seen him say that he's handing over the reins to people he trusts.

(And by the way, I'm saying this as someone who had a lot of apprehension installing Graphene because I was afraid another Copperhead was going to happen.)
Try Language Transfer, it's really incredible. I realize now I've more or less wasted the last year learning Spanish on Duolingo. Now I have to go and unlearn stuff so I can relearn it properly.

https://www.languagetransfer.org
Wish I knew about this sport earlier in life; this looks awesome.
Neeva jumped on the AI train after GPT3. The original plan was a privacy-focused Search. People don't pay for that stuff. I can't believe $millions was invested in that idea.

Personalized search - a search engine for all your content based on the data you've collected and visited and private would be something people might pay for.
Agreed. Genuinely sad, he's an absolute beast. Nothing compares to GrapheneOS.

Louis Rossmann (1.7m subscribers) ascribing his decision to leave GrapheneOS directly to the behaviour of Daniel Micay and stating that "he will never feel comfortable running this code on my phone as long as this person is involved in it" probably began triggering real calculations within the team as to what extent he was slowly becoming more of a liability to the project than an asset. Although, it's unlikely Louis saying that was going to affect the project in any meaningful way, this is not the kind of commentary that makes your position more tenable. I'm glad Daniel pre-empted those conversations by taking the decision to step away himself.

There is no doubt in my mind that Daniel Micay has been subjected to systematic harassment campaigns, far exceeding those of a typical open-source developer of his stature. That kind of stuff has an impact on you and as a result you behave in a less reasonable manner (i.e. more paranoid, less trusting). I just hope the dude takes a long break, gets buff and comes back stronger.
I read this article in Pauly Shore's voice.
I would be surprised if there were any lights in Lobo at all. There would indeed be headlights every so often but it still gets ridiculously dark there. After around 9 pm traffic dies down to virtually nothing.
Surely the guy just wrote a bunch of random signatures. Otherwise it would be obvious that they weren't captured by the same device.
Why would travel to another country without travel insurance?
I think you're misunderstanding what is going on there.

Alex Jones didn't say 'In my opinion sandy hook blah blah blah'. He said 'Sandy hook blah blah blah'. He presented those things he was saying as facts, not as something that was 'just his opinion'. Under oath it's a similar rule, but does allow more leeway regarding the persons knowledge. [https://leginfo.legislature.ca.gov/faces/codes_displaySectio...]

And what the Judge is telling him, if you do that, it doesn't matter if you think they're true or not, what matters is if they are actually true. Or at least under oath, it's plausible they he believes they are actually true and it's not all delusions or whatever.

Especially if you're saying them in a large venue, with real impact on real people.

Actual truth is an absolute defense for libel in the US. If what you're saying is true, you are not committing libel. Period. even if you think it's actually false when you're saying it

Thinking something is true if it is actually false is not enough in 99% of cases, assuming it is being presented as a fact and not an opinion (which requires no verification and is generally protected from libel in the US).

There is a bit of an escape clause, which is libel generally also requires that the false statements were made with some degree of recklessness, negligence, or maliciousness.

As in, they were not only false, but the person saying them also didn't do the basic amount of checking appropriate in the circumstance to avoid harm before saying them.

Like if someone goes on TV and says 'OJ died today, he was murdered by John Smith' and they never bothered to verify it and just overheard a hallway conversation or whatever. John Smith, and probably OJ would have pretty solid libel cases.

If someone did check and got it confirmed, say with OJ's agent, or the appropriate law enforcement authority, they'd generally get a pass, as they weren't reckless or malicious. It was an honest mistake based on information that should have been sufficient to determine if the fact was true or not. The law enforcement authority or agent might be in trouble though.
If your exam can be cheated on, you're doing exams wrong.
That’s assuming that companies have high margins and just have wads of cash to throw at employees. That’s probably not true for majority of the small companies - startups, restaurants and small moms and pops shops.
is the first use of former/latter consistent with the second?
Observing phytoplankton from space: the challenges and advantages
Does veganism have a stigma? It certainly doesn't in my circles, it's super common and every restaurant in most major cities has vegan options now. I was vegan for a year and had no problems with it.

If you're talking about "convincing people to go vegan", most people don't like being preached to regardless of the topic, that's not a stigma.

For example, drinking alcohol has its' negatives, but if I'm in the pub with friends and some teetotaler decides to go off on a mission to convert me, my response is going to vary from smiling and nodding to telling them to piss off depending on the mood I'm in that day.
IIRC, some language model proved that one-layer of loops can be proven to halt vs not-halt.

As soon as you add a 2nd layer of loops however, you reach Turing-completeness and suddenly the halting problem becomes unsolvable.

-------

So you don't need to deny jmp/loops. You just need to deny _nested_ loops. And... find that old paper I read like 15 years ago to figure out the details to discriminate halt/not-halt in the single-layer loop language.
And Facebook will be more than happy to promote and spread that lie. Imagine all the “engagement” they’ll get out of it.
Haha, I totally know what these words mean.
Russia prepares large-scale provocations to create a center of radiation danger
> But I do, however, know of a very large number of standing open offers among tech executives that are more than ready to try out a different kind of hardware than what Nvidia offers if a truly competitive one ever actually materializes.

I’ve read this sentence four times and I can’t figure out what it is saying. Is it missing a word or something, or am I missing a piece of my brain?

More generally, I guess I’m not the target audience for the upcoming paid version of this newsletter, because I can’t extract much meaning or particular insight from anything I’ve read here. Though it did make me feel a little foolish for not tossing a little money toward NVDA, say, six months ago when it should have been pretty darn obvious to me that they’re the ones selling the shovels in this particular gold rush.
Correct. I bought 1000 shares in early Feb, and it's up over 82%.

You cannot look at the prior price to make a purchase decision. You have to look at the future projected revenues per share, and apply an industry standard multiple.

If you hesitate to buy a stock you like because you feel annoyed that you didn't buy it for cheaper the day/week/month before, you will nerf yourself.
“Just cause we’re stuck in a bubble doesn’t mean we can’t cause any trouble.”

https://m.youtube.com/watch?v=4EWikCCfHJw
I read Potassco's Answer Set Solving in Practice book [0] but it's pretty dense. I suspect it would be easier to digest if you read it while also following their course materials, which are all online [1].

These days I recommend people start with the Lifschitz book [2] and read through the Potassco book [0]. Lifschitz's book is a much gentler introduction to ASP and logic programming in general and its examples are in ASP code (not math). It's also more geared towards the programming side than the solving side, which is probably better for most people until they really want to understand what clingo/gringo/clasp are doing and what their limitations are.

There are other more applied courses, like Adam Smith's Applied ASP course at UCSC [3]. The problems in that course look like a lot of fun.

[0] https://potassco.org/book/

[1] https://teaching.potassco.org

[2] https://www.cs.utexas.edu/users/vl/teaching/378/ASP.pdf, https://www.amazon.com/Answer-Set-Programming-Vladimir-Lifsc...

[3] https://canvas.ucsc.edu/courses/1338
Your honor, I saw this bicycle just sitting there unlocked. If it hadn't been there, I wouldn't have stolen it. It coerced me. I needed a bike.

Give me a break. They cheated. Case closed.
“If we want to ensure kids can do arithmetic without calculators, we can have exams in which there are no calculators.”

Which is exactly what the parent was trying to do with a an exam that forbade the use of AI.
the lock-bottom plane used to be my bread & butter in elementary school
>If the fake answers were all wrong, just grade the test honestly and the cheaters will get what's coming to them without any ambiguity or additional overhead on his part.

Failing that one exam (especially if they got some of the questions right despite cheating on others, so, for example got a 50% grade on the exam) may have allowed some of them to still get a passing grade in the course, the penalty for cheating may be worse:

I am in discussion with my Chair about exactly what response is appropriate for these students, but a zero on the final is the bare minimum, and an F in the class is likely for some, if not all of those who cheated.

(and some schools may have additional penalties in the form of academic probation or even expulsion)