skysight-inc/HackerNews huggingface dataset:
https://thebhutanese.bt/dhi-confirms-that-it-is-mining-digit...

Per a Bhutanese source, it has been mining BTC since it was 5000$. Also, the electricity is free so it hasn't lost any serious money given the low expenditure. Last time BTC was 5000 was in Mar 2020 so given that they are still doing it, I don't see why this is unprofitable for them. If it was, they would have stopped by now.
I second the recommendation to try Pilot first, though I haven't used any of their recent disposables. Pilot nibs are just remarkably consistently good. As a starter I'd suggest the Pilot Metropolitan with a medium nib (as Asian nibs tend to be a little finer than European nibs with the same designation) although my personal favourite ‘cheap’ pen (that is, in the Lamy Safari price range) is the old-style Prera (in the US, from JetPens).
They are not explaining to a 6 years old, they explains to somebody who will in their turn explain it to a 6 years old, which is a different task and has to be optimized in a different way.
"The Pull Request workflow is so dominant now that it’s considered the default path for code to permanently enter into a repository."

Arguably this model has less to do with GitHub becoming dominant but with the fact that all of the large BigCorp/FAANG type companies now use a strict code review policy, and this has spread downwards (along with a bunch of other cargo cult-ed practices) into much smaller organizations.

The first 10-15 years of my career I never encountered a code review tool once, and it was just commit privileges granted or not granted and judicious use of branching and tagging. Then everybody seemingly started to switch from "I'll just go off and do my work on a branch and then we'll integrate" to "I don't trust anything anybody else has written and we'll review every single line".

I worked at Google for 10 years and when I emerged from there everyone had switched to code review, even small startups.

FWIW I see advantages and disadvantages to both approaches. But I don't think GitHub is to blame? Google clearly has an intrinsic interest in making sure things don't blow up $$ production, and are willing to sacrifice velocity all over the place to make sure of that. Same with projects like the Linux kernel, or GCC or LLVM or whatever. But...

(If anything, Git makes working on longer running feature branches a lot easier, and the whole code/pull review process made more sense with centralized systems like Perforce, etc. or systems like CVS or SVN that had terrible merge-on-merge support)
This might not be a perspective of a programmer, but the code I've reviewed and tried to understand from academics is always easier to manage when it's not abstracted too deeply. Especially when reading the code is the main reason for trying to understand the underlying idea.

Unless you have an extensive (visual?) representation of how the code flows, abstracted code for beginners might be a hindrance towards understanding what's happening at the lowest level while still maintaining the contours of the whole thing.

Of course when everyone's on the same page and has similar understanding, this is no longer a concern.
> One state is a democracy, the other is an undemocratic clerical state.

> Now, close your eyes and try to guess which is which.

Utah is the democracy? Doesn't seem too tough. Their elected officials passed a law, we assume with the will of the people. You disagreeing with the law doesn't change their status as a democracy.

> Pornhub forced to block Utah, but not Iran.

One has enforcement mechanisms that can actually hurt Pornhub, and the other is Iran. Big ole shrug here too.
> To those saying "Oh I can tell it's fake, obviously!", consider: will your parents/grandparents?

No, they won't. There's not a chance.

Yesterday we were visiting an elderly relative, who received a video in WhatsApp family group chat with an AI generated child saying a prayer. I had to repeatedly tell them it was not a real child on the video. To me it was obvious since the whole body was static and only the face was moving slightly, and the child was talking in a way that you knew it was text-to-speech.

There is sadly no hope for the elderly generation. If your parents or grandparents receive a video with your face, asking them for money - they will believe it. Even if you stand right in front of their face in real life telling them the video on their device is not real, they will believe it more than you. You will be considered not real rather.
It was, however, a step up from the shared network drive with a bunch of zip files.
Why mosses are vital for the health of our soil and Earth
Someone else already commented about how this has nothing to do with brutalist architecture.

But it also has nothing to do with brutalist websites.

There’s really no relation between this list of guidelines for brutalism and between sites that actual people would describe as brutalist.

That term has been kicking around for a few years now. Personally, I always felt it a very evocative definition for these kinds of sites:

https://brutalistwebsites.com/

A few other key words that come to mind are “artsy”, “experimental”, perhaps “post-modern”. And also “barren”, “self-important”, “hostile”.

What the guidelines in this article have in common is not that they lead to brutalist websites, it’s that the lead to good websites.

So why hijack a confusing term?
Does not using Github change anything about ICE or the contract? Pretty sure not. So what does proclaiming it even do? Its nothing but self-service. Plus its red vs blue US politics, which is also not very pleasant to know about.
The first rule of effective development is, if you are blocked or stuck or don't know what something means, speak up! To dither and delay is to create a problem later, when there's no time left to fix it. Delay turns an issue into a problem or even a catastrophe.

Time is your most critical asset in a startup.
Indeed. And if we hit spammers with half the hammer that pirates have been hit with, it'd be a much smaller problem ... but for some reason, spam seems to be immune to legal action.
Strangely, specificity is exactly what people champion the importance of when it comes to successful prompting.
you're mistaking aptitude for effort.

a great doctor who phones it in because he's got Sixers tickets that evening can still get you killed.
And then we all look at the comments, possibly forgetting that they could also be AI-generated.
Anti porn or anti sex sentiment is rooted in religion. Even if the person isn't practicing religion, him or her holding these views are indicative of some religious upbringing with the standard amount of brainwashing.
I'm partial to the metropolitan pens. But, realistically, any pen is a fine starter nowadays.

I am a huge fan of the larger nibs. I tried getting into calligraphy, but haven't managed the eye for it, yet. Tons and tons of fun, though.
I guess openai shouldn't have uploaded the bot to the internet if they didnt want people to use it this way.
Better question is will you be able to tell it’s fake if you’re scrolling without critical thought? If you’re not paying attention? If you’re on low sleep, stressed, nodding off, watching a stream in another screen, etc? If it’s only presented to you in a small icon while your favorite debate bro debates on it, or a political pundit pundits over the thumbnail?
Porn is very addictive to many people (Reddit has some great posts by many people trying to break free) - anything that gives you a huge dose of dopamine for little effort can be dangerous to someone’s life (not medically dangerous, but certainly emotionally and motivationally). It’s like saying drugs are absolutely fine because they don’t destroy everyone that take them. Or maybe alcohol is a better comparison.
- "Grandchild in distress" scams - https://www.fcc.gov/grandparent-scams-get-more-sophisticated... some criminals are so good at this that they can successfully pull off "grandchild in distress" on a person who doesn't even have a grandchild in the first place. Remember that for humans, a "prompt" isn't just the words - it's the emotional undertones, sound of the speaker's voice, body language, larger context, etc.

Sure, elderly people are susceptible to being manipulated.

- You're on the road, driving to work. Your phone rings, number unknown. You take the call on the headset, only to hear someone shouting "STOP THE CAR NOW, PLEASE STOP THE CAR NOW!". I'm certain you would first stop the car, and then consider how the request could possibly have been valid. Congratulations, you just got forced to change your action on the spot, and it probably flushed the entire cognitive and emotional context you had in your head too.

I disagree that most people would answer an unknown number and follow the instructions given. Is this written up somewhere? Sounds farfetched.

- Basically, any kind of message formatted in a way that can trick you into believing it's coming from your boss/spouse/authorities or is otherwise some kind of emergency message, is literally an instance of "disregard previous instructions" prompt injection on a human.

Phishing is not prompt injection. LLMs are also susceptible to phishing / fraudulent API calls which are different than prompt injection in the definition being used in this discussion.

> That's moving the goalposts to stratosphere. I never said humans are as easy to prompt-inject as GPT-4, via a piece of plaintext less than 8k tokens long (however it is possible to do that, see e.g. my other example elsewhere in the thread). I'm saying that "token stream" and "< 8k" are constant factors - the fundamental idea of what people call "prompt injection" works on humans, and it has to work on any general intelligence for fundamental, mathematical reasons.

Is it? The comparator here is the relative ease by which a LLM or human can be manipulated, at best your examples highlight extreme scenarios that take advantage of vulnerable humans.

LLM's should be several orders of magnitude harder to prompt-inject than an elderly retiree being phished as once again in this thought experiment LLMs are being equated with AGI and therefore would be able to control mission-critical systems, something a grandparent in your example would not be.

I acknowledge that humans can be manipulated but these are long-cons that few are capable of pulling off, unless you think the effort and skill behind "Russian media propaganda manipulating their citizens" (as mentioned by another commenter) is minimal and can be replicated by a single individual as has been done with multiple Twitter threads on prompt injection rather than nation-state resources and laws.

My overall point being that the current approach to alignment is insufficient and therefore the current models are not implementable.
> Android conspicuously doesn't include 'network access' as a permission, for what I can only assume is nefarious reasons. There's no reason my Calculator app needs to phone home anywhere.

I know that some Android ROM's don't allow blocking all network access (only mobile data). But LineageOS, CalyxOS and GrapheneOS all allow blocking all/VPN/mobile network access.
It’s also equal to the product of all primes except 2 so it’s odd.
The problem with these cases is that we only hear about the requests that get fought, but not the ones where providers silently give up all their data anyway.

There was a satellite piracy site operator where Google got a legal request to Doxx them for a lawsuit. But since Google notified the operator, they successfully got a lawyer to convince the judge to quash it for $7k under 1st amendment. The operator now thought they were in the clear.

“Tragically as I was soon to find out, none of this even mattered.”

“Nobody else even bothered to tell me. And by nobody else I mean: Paypal, eBay, 3 domain registrars, merch makers, VPN providers, and every other online service I had used with that email in the last five years.”

They were still fucked.

https://anons.ca/p/i-used-to-operate-a-dss-hacking-network/
I've always felt that $BIG_BRAND_DISTRO+KDE got pretty close. It's still Linux, so not quite the same, but as far as look and feel, it's pretty close I think.
Who said anything about hardcore pornography? 2 people having consensual romantic sex is still porn. Nothing wrong with educating a kid how sex works by showing him/her a video of that.

At some point later in the years, the kid will probably stumble onto some hardcore porn, but if you contextualize it properly, he/she will understand that its not how real relationships work.

In the same way, its ok (and probably good) if your teen tries weed/alcohol under your supervision, with the proper education around it, but you aren't going to give your kid like a heroin injection just because he/she is curious. But the fact that you establish trust and educate your kid about drugs that he/she will certainly come across is the more important bit about them staying away from harder drugs. Instead of outright ban, and then kid discovering how good weed makes them feel, and then going out and trying harder drugs.

Like I shouldn't have to explain this basic concepts to people. Really makes me worry about all the parents raising their kids these days.
Assuming sqrt(2)/2 is one of the elements of your set between 0 and 1, there are! See https://en.m.wikipedia.org/wiki/Countable_set
In my view, Lamy Safari is way overrated. Don't get me wrong, it's far from bad, a pretty consistent pen for the price. But the ink dries fast-ish if you don't use it, and especially, the cartridges are proprietary so you're tied to the brand's cartridges and ink colors (there's a piston converter, but converters, meh).

A Pilot Metropolitan is approximately the same price and at least in my view, it's better as it uses standard international cartridges. A TWSBI Eco is more expensive, but not by that much, and it's an absolute reliability monster.
Is infinity an integer?
You run into problems keeping branches up to date manually with bigger teams, because every time a PR lands on main it requires everyone else with a PR up to merge main back in. If the CI handles this automatically it saves a lot of time.
Bitcoin custody is a solved problem and is not any harder than securing Gold.
Interesting approach, especially to the questions raised

>>not more powerful than a Turing machine
In many ways less powerful, but also has some orthogonal capabilities?

>>working proof-of-concept
For sure!

>>probably not a warp-drive distance away from finding a working software implementation of its critical elements
>>I don't see why another 10 or 20 years of frantic effort won't get us there

Agree. My sense is that an AGI is on a similar time and frantic effort scale, although with not quite the same reasoning. I think it is not just airplane-to-rocket tech, but closer than warp-drive tech. It also depends if we're talking about a general-ish tech or a runaway AGI singularity.

>>created by a random greedy trial-and-error incremental process in a not-astronomical number of generations out of a population of less than one million primates.

True, although setting the baseline at primates is very high. Even lower mammals and birds (avian dinosaur descendants) have significant abstraction and reasoning capabilities. The "mere" birds-nest problem, of making a new thing out of random available materials, is very nontrivial.

So, we first need to create that level of ability to abstract. This would include having the "AI" "understand" physical constructs such as objects, hiding, the relationship between feet, knees, hips, torso and head (and that in humans, the feet and knees point in the same direction as the face...), the physical interactions between objects... probably the entire set of inferences now embedded in CYC, and more. THEN, we need to abstract again to get from the primate to the runaway symbolic and tool wielding processing of humans and beyond.

It seems that the first problem set will be more difficult. Looking again to the biological evolution, how much longer did it take for biology to develop the ability to abstract 3D shapes and relations (first hunting predators?). It was a heck of a lot more time an iterations than the million primates for a few million generations. So, this might be similar.

>>to explore more widely while cross-pollinating ideas, techniques, and tooling.
Yup, key there.

Another key is being more biomimetic, both in the simulation of neuron functioning and in deeply integrating sensor suites to the computing system. The idea that we are just brains in jars seems an abstraction (distraction?) too far. I have a hard time seeing how our brains are more than a big node in our whole nervous and indeed biological system, and the input from the entire body is essential to growing the brain. I expect we might find something similar about AI.

OTOH, in airplanes, our method of propulsion and control are quite different vs the biological solutions from birds (although the lift principles are the same), and we're still integrating a lot of bird "tech" into flying. Wheels vs legs might be a better example, although the hottest thing is legged robotics, since they don't need roads... It seems that we are similarly developing clunky, limited, and very-artificial intelligence systems, before we get to building the flexible systems seen in biology...

BTW, thx for the discussion - great thoughts!
If you write “former blue check” in your Twitter bio, you get verification badge
I recently got a new PC with i7-13700k. Paired with very good (but enormous) air cooler. When there is high CPU usage I can feel hot air coming from computer! Yes, that air cooler is almost silent (BeQuiet Dark Rock 4), but if when CPU uses 200+W that heat has to end up somewhere. Hopefuly, for development you rarely need 100% CPU. I wouldn't want anything more power hungry for my desktop.
They jumped more than that when the pandemic ended and they apparently decided to try to make back all their pandemic losses overnight.
The Github Desktop is criminally underrated in my opinion https://desktop.github.com/

Yes, it's pretty underfeatured and lacks all the advanced features, but I consider that a plus. It's great at checking out and syncing branches, and doing (partial) commits. It does the basics really well IMHO.

I think the hard part with GUI git apps is that all the advanced functionality is... advanced and is difficult to translate into a gUI.
Tom Erbe/Soundhack “Designing the Make Noise Erbe-Verb” Reverb Design Lecture
The guy is essentially stealing the CPU power, he's not just going against ToS.
open any network communications protocol RFC
or any CPU design architecture
or operating systems memory tables
or operating systems filesystems with journaling
or hardware I/O

it is crazy that society hasn't collapsed yet
This company adopted AI. Here's what happened to its human workers
Three I know about are the TWSBI Eco and Diamond, and Pilot’s disposable Vpen. They’ve already been mentioned elsewhere in this thread.

Beyond those, do research. Fountain pens drying out is a major problem that catches newcomers off-guard. When you can buy EnerGels for peanuts, fountain pen manufacturers really need to up their game to stay remotely competitive with other pen types. And many don’t.
Probably best to nip "shadow IT" in the bud with an easy-to-use approved internal ChatGPT connection, rather than hoping that employees don't try make use of the tool surreptitiously.

Samsung may attempt to ban use of the tool for their employees because they're worried about loss of internal data, but when the tool hugely reduces the workload of those employees, they'll find a way to use it anyways.
Objective advantages are: more ink capacity, more variety of ink colors, reduced plastic waste (if you use bottled ink).
The question is how the data is aggregated. If it is serverside via the user agent, then the result should be representative. But if it is some javascript blob that gets blocked by ublock origin or even the integrated firefox blocker, many of the firefox (and its forks) users won't show up.
I don't usually use that term, but I take it to mean "number you (may, and, if not using e.g. fractions, must) write using a decimal point" because that seems to always be what people intend by it.

Everybody experienced writing irrational numbers using decimal notation in school, so those definitely count.
Fair use begets fair use
King Charles III's coronation: The surprising power of pomp and ceremony
You are assuming for some reason that they won't sacrifice your convenience for their profits. Or maybe you think it's impossible to profit from limiting customer convenience?
You can't interview someone about something before that something exists though, which is what the parent comment is proposing.
I think you are conflating two things here. The US government is not targeting H-1B holders here, but companies trying to get more of them by flooding the system.

The H-1B visa process already has provisions for all these issues, prevailing wage being one of them, which quite precisely addresses the issue of American workers being given a chance of applying for a position that could potentially be filled by a visa holder.

> Companies are using the program to basically hire temp slaves and it's hurting the entire Industry.

This is untrue in the vast majority of cases.

Again, I'm wondering where all these false premises come from, because they do not match my experience a bit.
> It sounds like a patriotic song until you actually listen to what he says.

Sounds like a great songwriter to me!
IBM has been pushing that envelope for quite some time, with both POWER and Z. The Telum cooling system looks scary.

https://twitter.com/PatrickMoorhead/status/15240319067944263...

In return, you get a 5 GHz base clock, but the "BMC" is two x86-based servers running Linux that, among other things, make sure cooling is working properly before applying power to the CPU/memory modules (and to shut everything down as soon as it goes off-nominal).

And, definitely, none of that gear is designed for home use.
Causal Reasoning and Large Language Models: Opening a New Frontier for Causality
Lamy Safari has been my go-to for years, but for anyone starting out I recommend the TWSBI Eco. Only downside imo is inability to easily swap out nibs in a TWSBI.
> advanced and is difficult to translate into a gUI.

This is true, so it may be difficult to find a free GUI that will do it.

However, the paid ones are worse than the free one.
Man I love to see posts like this. I didn't know you nerds like Fountain pens as well.

just bought a Visconti pen for the first time and Love it.

Pricy, but has a great history.

Mine is the emerald one.
One of the world’s most expensive cities raises minimum wage - by 32 cents
If you're willing to forgo Linux, there is a lot of work / interest in Zephyr.
Like I mentioned, I don't agree with their position so I'm not going to defend it. I am only defending that it's a legitimate argument to make and that it can't just be dismissed as "annoying virtue signalling" and "screaming". You can do this with almost any argument if you try hard enough.
China doesn't need 100% impermeability. As long as it circumvents most people from going outside the firewall, the job is done.

Think of it in terms of adblocking. You and I know all the tricks, but Google's bottom line suggests most people do not, and don't seem to mind. Similarly, the Great Firewall is tolerated because it doesn't block the things that are necessary for living life in China.
Meanwhile, people used to (before the invention of chimneys) live in the same room as their family and it would have been common for parents to be having sex whilst their children were sleeping in the same room (or pretending to sleep). I wonder if modern pornography is a response to our society become more prudish and private.