skysight-inc/HackerNews huggingface dataset:
Somewhat related, "A Little Taste of Dependent Types," implemented in Racket:

https://youtu.be/VxINoKFm-S4
Do you have a reference for that quote - it’s great.
Generative AI is changing everything. But what’s left when the hype is gone?
But we should be holding driving and coal to a higher standard. And many people are trying to do exactly that.

I think an interesting part of this question is consent. People have a reasonable understanding of the road and are implicitly consenting to that risk. And as a society we make a conscious choice to balance safety and convenience. But that is just not true with flying, nuclear or even coal power. People don't understand and they absolutely don't consent to the risk. As professionals and scientists that does change things. As a hypothetical example imagine a lab testing the cold virus. It needs expensive safety equipment and an ethics review board. A scientist who just has a cold just needs a box of tissues. It is ethically different.

I think a problem we have is that some historical things have managed to escape the ethics review board because people are used to them. Cars cause cancer and yet people are presumed to consent to that. A solar farm with no real impact has to spend years getting consent. It is unbalanced.

Maybe the biggets problem with nuclear is that it is mostly driven by careful responsible professional people. In renewables society can cut corners (relative to nuclear) and get away with it because risk is just so much lower.
Literally not true. They can simply decline and if the Govt wants to come after them they can sue each other and in cases where it’s legal content then Twitter will win. This is extremely well established and not even remotely weird or some dark unexplored corner of Constitutional law.

Edit: Here’s a link with some relevant case law. https://reason.com/volokh/2021/07/19/when-government-urges-p...

Disagree with the established precedent if you want, but if you do, I’d recommend picking a different battleground than whatever this Twitter Files fiasco is. This stuff isn’t even on the questionable end of the spectrum.
Check out https://www.reddit.com/r/unixporn/ (SFW despite the name). Sort by top all time for some movie-like interfaces.

I've reached the stage where I want my computer to just work, but it's still a fascinating place to check out from time to time.
Absolutely I don't understand how people use Google calender or even worse the outlook calender for any meaningful scheduling.
For every example of smart, thoughtful, effective senior leadership there are 10 or 100 of the opposite sort. Most corporations are a living proof of Peter's principle, where senior management is a country club of old* people covering each other's incompetence.
* It is not about ageism, but about people that are in their 5 years before retirement and have zero motivation to do any work, keep skills in shape or give a damn. I worked with a lot of people that were more than decent in their careers, but dropped the ball completely in the last 5 to 10 years before retirement with huge negative impact for their employers. How can this happen? In big companies the inertia covers for these people.
> "How is China able to build nuclear power plants relatively quickly?"

The same way China is able to build anything quickly: access to a near-unlimited supply of cheap, motivated, skilled labour.
That was before they took him away to the Massachusetts Home for the Bewildered.
Just wonderful. He's set the example many should follow.

I grew up to these songs and it's great to know they're avaliable in perpetuity.
...this was the coup the grace? I supposed this was pretty much widely known.
Yeah... the title seemed promising, but after reading the first 10 words I stopped figuring this is going to be a stretched out story as well.
I agree. I also think that if you just take a step back and consider that ChatGPT is just a math function like y=7x-9 (but much longer), it becomes kind of absurd to ask questions about whether it is intelligent or it is on the path to consciousness or whatever. It’s a completely static thing: information flows through it in one direction and its internal configuration does not change as a result of receiving input. So unless we are going down a rabbit hole of considering if ordinary math functions are also intelligent, it would seem that ChatGPT is ineligible to begin with.
> Doodling on a phone is just not as satisfying.

Not the main point of the article, but that remark stood out to me.

I sometimes still take notes on paper. Doodling to pass the time or let my thoughts wander is relaxing.

I remember doing it all the time as a child. Do children still have this experience?
I lump the two groups of medications together because I’m under the impression that lithium was the most popular option for schizophrenia/bipolar 50 years ago (typically associated with the diagnoses that result in the need of a mood stabilizer or antipsychotic today). Not to mention depression. Am I missing something here?

I also assumed that lithium would have been responsible for the comment to which I was replying talking about the side effects of the medications. (Lithium is known to significantly alter personality over the long term, yes? (Once again, often worth the alternative.)) The intended use of my comment was to clarify that the side effects of drugs prescribed for schizophrenia/bipolar have calmed down a lot.

You sound knowledgeable, and I’m expressing my curiosity. It’s such a soft science relative to something like cancer that I really have no idea what’s going on (I’m just a code monkey). I’m really not aware of any popular antipsychotics being prescribed 50 years ago, but I’m open to having my ignorance fixed.

Even if you did call my comment useless :(
The idea that it was remotely important in the context of the election. Also, the idea that the story was suppressed. Those parts, at least.
CREATE INDEX currently has the restriction that the index must fit in memory [1]. As the data is already sorted, creating an index is not necessary anyway. The min/max indexes created automatically by the system are sufficient to complete the query in a few milliseconds.

D CREATE TABLE passwords (hash TEXT, count INT);
D COPY passwords FROM '~/Downloads/pwned-passwords-sha1-ordered-by-hash-v8.txt' (SEPARATOR ':');
D .timer on
D SELECT \* FROM passwords WHERE hash=upper('5baa61e4c9b93f3f0682250b6cf8331b7ee68fd8');
┌──────────────────────────────────────────┬─────────┐
│ hash │ count │
│ varchar │ int32 │
├──────────────────────────────────────────┼─────────┤
│ 5BAA61E4C9B93F3F0682250B6CF8331B7EE68FD8 │ 9545824 │
└──────────────────────────────────────────┴─────────┘
Run Time (s): real 0.005 user 0.007455 sys 0.000584

[1] https://duckdb.org/docs/sql/indexes
AgEagle Introduces the New EBee Vision ISAR Drone
Of course it is. At this moment everything is speculation.
Cryptomator – the OSS Boxcryptor alternative for E2E cloud drive encryption
LCD screens are a wonderful technology that has unfortunately been adopted for a whole range of unsuitable applications.

this article talks about writing, but I want to highlight the viewing part.

LCDs were not made to be stared at for hours on end, e-ink displays on the other hand were made exactly for that purpose. they don't tire your eyes more than a piece of paper and they require external light to be visible. this is very much in tune with how every single object has worked in the whole history of humankind until the invention of artificial illumination.

in my opinion working for 8 hours in an office starting at an LCD screen should be considered as damaging as sitting at a computer for 8 hours with an incorrect posture. you end up with a headacke and your eyes burn, and the rest of the day is just painful to continue.

this wouldn't be the case if some technology was invented that had the refresh rate and color palette of standard LCD screens while having the pleasant viewing experience of digital paper. I think many people would drop their books or even their e-book readers if normal tablet or computer monitors weren't painful to look at.
I enjoyed this. Long, but interesting and well written.
What you’re actually seeing is people who already believed govt is censoring speech now feeling like they have evidence of that claim despite none actually being put forward. On the flip side you have people who figured that, yeah, the government asks private entities to control information in certain ways and sometimes companies oblige despite not being required to. This latter claim remains the only one “evidenced” by the Twitter Files but it has also been evidenced by about 200 years of case law.
> doesn't get much recognition outside of maths circles

I don't know. I'm definitely not "maths circles" and I don't know a whole lot of mathematicians by name. Those I do know are either personal acquaintances or people I consider to be more or less famous (people like Gauss, Fermat, Laplace, Hilbert, von Neumann, or Perelman).

I definitely know Tao's name. He's not an acquaintances of mine, so I reason he must be more or less famous. =)
Because DuckDB uses ACID [1] data is loaded in an all-or-nothing manner. As the load was interrupted due to the system running out of memory, the table is expected to be empty.

[1] https://en.wikipedia.org/wiki/ACID
That's good news at least
Some of Bob Newhart's material has aged similarly well.

Wikipedia tells me they're just a few months apart in age, too.
No. I'm just curious. Most of their content is paywalled so I was wondering if in scientific matters they were more authoritative than Wikipedia.
tbf, I think half the people that bought You're Gorgeous in the nineties because it was that nice song on the radio missed the subtext
The advantage of books is you don't have an algo recommending you different things on every page. It's not uncommon for me to look up a 5 minute tutorial on YouTube to be stuck there for 1 hour+ due to the recommendations.
The notifications are an advantage. Paper can't scream at you.
The first sign of trouble to me was when google killed xmpp support. Prior to that everyone just logged into instant messaging on whatever device.

Every decision since then has been pro-ad network technical competition.
Yes I think the national debt of Nazi Germany and dwindling resources required peace with the uk to avoid a two front war like ww1. Hitler and maybe Japan truly believed in a shrinking market hypothesis. I think the hossbach memorandum really outlines Hitler's warmongering goals.

Grain from Ukraine and the oil fields of Baku, were needed. Once baku was not seized in 41 instead of Moscow the Nazis pretty much lost the war.Zhukov outlined that's what he would have done. Although it's a long way from Poland to past the caucuses.
Pretty much a full working day — but much less now thanks to our virtual assistant.
Things can change. Easy to forget that Alan Turing and a certain German called Konrad Zuse both get credit for having invented the modern computer. Generally, people seem to like to give that honor to Alan Turing and Konrad Zuse does not get a lot of love. Not that it matters either way; but this is a country that co-created modern computing. Pre and post-war Germany featured a lot of rapid change and technical innovation.

I'm based in Germany and I share the sentiment that things have been a bit backwards here in terms of a widespread reluctance to let go of paper based administration. This was awkward 14 years ago when I moved here and at this point it's just beyond pathetic. But things are changing. Germans are well aware that people outside of Germany are noticing how far behind they are and are shaking their heads at those silly naive German paper fetishists. So, there's a lot of domestic pressure to actually start fixing this. The covid crisis in the last few years forced a lot of Germans to do things with their phone that until then were completely unheard off in this country. Like paying for stuff or proving that they didn't have covid. That used to be a thing where paper and rubber stamps were the only acceptable solution.

So, I look at this as something that can change quite rapidly after not having changed much at all for decades. The will and money are there and Germans are starting to remember that they can actually get some stuff done when they put their mind to it. We're also seeing this with the current energy crisis. That crisis has unlocked budgets all over the public sector. And "digitalization" (as it is referred to here) is part of those budgets. Germans love efficiency and people have been pointing out that they haven't been very efficient. Which is embarrassing and annoying. So, they are fixing it now. There are now countless of bureaucrats tasked with actually showing some results for the inflated budgets they've been given. We're talking hundreds of billions of euros here. It's not all going to be spend wisely but some of it will yield results.
I don't think the point was that "corporate records and correspondence can be made public", but "corporate records and correspondence that do not reflect the full picture and that are cherry-picked to make the company look bad while the company was not bad can be made public while the rest of the picture can be kept not public".
> but the FBI has absolutely no right to try to get a private company to stop free speech.

Do you believe freedom of speech applies to foreign governments?

https://twitter.com/nicoleperlroth/status/160385966043116748...
Poorly worded on my part, I simply meant restart after a crash.
I just cannot sign up for this vision of the future where people are eating plant protein meat and never cooking on an open flame and avoiding now… hot showers?

No thanks. Hard pass. This is all terrible.
Indeed, fortunately the facts are widely known: https://en.wikipedia.org/wiki/Lewis_Strauss#Strauss_and_Oppe...
Zoom had appaling security when it started being used by the masses. But it did the right thing, acquired Keybase which were doing really great work in the field of security and UX, and they subsequently fixed the problems Zoom had (stories about spyware for China are bullshit, as usual, they just had just *really* basic issues like anyone was allowed to crash into a meeting by just knowing its ID, which used to be easy to guess). Today, I consider Zoom a solid, safe choice for private meetings until something new comes to light that proves otherwise.
I found this:

the only way to know that a man
thinks is to be that particular man. It is in fact the solipsist point of view. It may be the most logical view to hold but it makes communication of ideas difficult. A is liable to believe ‘A thinks but B does not’ whilst B believes ‘B thinks but A does not’. Instead of arguing continually over this point it is usual to have the polite convention that everyone thinks.

https://academic.oup.com/mind/article/LIX/236/433/986238
I use a paper notebook every day in my job. Pen and paper is a help for the mind, part of thinking out loud maybe. Far too long was I content with staring into a screen and trying to "think harder".

As it has been said elsewhere, what I jot down are not finished thoughts but steps on the way there.
Like everything in computing, it depends.
>has proven enough times in the past

Past experiences do not mean future success. This isn't even about Carmack: past 'heroes' end up failing in their decision-making in the future many times, and they were followed for no other reason than 'they have a track record'.

The sooner that myth dies, the better.
[citation needed]

You make many unsubstantiated claims. I don't get headaches from staring at an LCD even 14h/day.
Thanks anon for kindness l
What prevents the problem from coming back if you stop watching for that?
Is it improper? It obviously creates room for impropriety, but I personally find it very obvious that organizations responsible and equipped for e.g. finding CSAM or for mitigating foreign influence campaigns (yes, real things!) or for reducing the spread of ISIS recruitment material should have their reports sit above those of newuser1737382847.

You’d really suggest that all reports must be treated equally?
Rewind the system clock by 100 years and add 100 years to the data output :)

It should buy you another 100 years.
The government's fiat currency would be worthless without a complicated system of taxation in order to create demand for it. No private individual or business would be interested in selling their goods or labour to state and local governments in exchange for fiat, unless they are forced to have that fiat in order to pay taxes - and here is included mortgages to the banks, since it is 100% a tax as well.

This is what people forget about (especially tech minded people), when they think up new systems of taxation that would be more fair and effective: Any fair and effective tax would destroy the currency, since people and businesses could easily pay their share and then instantly convert their remaining wealth into non-fiat assets, or even safer fiat assets. In order to prop up the value of the fiat currency, the tax system needs to be extremely bureaucratic and reach into every and any kind of economic activity imaginable. That way there is a constant need for businesses to keep that fiat on hand and do their accounting with that fiat.
Another somewhat recent technique for getting better results quicker is path guiding, as seen in e.g. Intel's OpenPGL: https://github.com/OpenPathGuidingLibrary/openpgl
I like the loop idea. I imagine some people would find it unhygienic but it is no worse than a bath.

What about if you separated the heat from the wetness? Deliver heat with a lamp and leave the water colder? I wonder whether it would be a nice experience or not.
I guess the killer application is the shared scheduling, calendars kept in sync between everyone who is in the same meeting or activity.
I think what helped me brake out of too is that I learned to accept (and not fight) the possibility that we are all living in an illusion, and that we are all sharing the same consciousness and that it’s the job of all our senses; eyes, ears, etc to keep us efficiently preoccupied. Maybe I was just struck by philosopher lightening! Haha!
What do you mean? What do you use? I use google calendar for meaningful scheduling.
We have clear aluminium already in the form of sapphire glass (Al₂O₃). Presumably you're referring to a means of manufacturing it at a scale suitable for, say, an aquarium?
Since you're accessing it via telnet, could you just scrape the screen? Then you could have a script that pages through the data, copying it out a screenfull at a time.
Anyone have notations specifically intended for pseudocode sketching on paper?

(eg the "offside rule" was originally conceived to be easy to interpret even for handwriting)
I think it was more people clicking on links being sent to them in IM, emails or other personal messaging.

I used to for fun 2001 to 2006 or so, run a fresh install of 98se which I had burned to CD, recovery was about 20 mins perhaps a bit less, (read however long it took to copy a 600 meg image to hard drive) and cruised the net. No security as such, just seeing what was out there, what ports being probed etc. I rarely had any issues. Yes of course when I was tormenting some large wannabe hacker forum (read script kiddies) where one or more had decided to prove themselves by attacking a couple of harmless looking forums, yes I think they managed to get in pretty quickly iirc about five minutes. For giggles after a couple of times (they got quicker) I switched over to a live linux cd ... but since one of their members had outdone themselves and annoyed people who unlike myself quite happy with my new chew toys, ... I figured just a matter of time before my fun would end ... their forum strangely packed it at end of week :) In all of it, my only issue albeit a very serious one, was contaminated backups, which occurred when was when I was "tagged" in 2003 with something, which was so unique that last time I scanned a copy of the infected system in 2009-10, it still didn't raise any flags with the latest anti malware or root kit detection available at the time.
Not just Steel, but all commodity market. Which judging by the COVID and Supply Chain event. 99.9999% of HN knows very little to nothing about it.
> But aren’t they just flagging Tweets as potential violations of TOS?

How benevolent of the fbi to be making sure twitters users are compliant with twitters TOS! What a nice federal agency, making twitters moderation so much easier!
Yes, software is fundamentally different compared to building physical stuff. It's like having the ability to arrange individual atoms into any shape, and replicate that structure in whatever quantity desired.

And then completely filling the landscape with bridges constructed out of Lego bricks. They say it's good enough, sure we could theoretically do something better, but nobody has the time for that. And anyway, if bridges lasted forever or we needed less of them, there would no longer be such a demand for engineers!
What’s with the “water spending” numbers here? It’s not like the water in shower gets “used up”.

Your meter counts 50 liters, but that’s not 50 liters of precious water supply permanently removed from the planet.
In defense of tech-enabled services
The government’s right to request information control and private entities’ right to decline those requests is well established and non-controversial. They cannot coerce or threaten, but there’s no evidence of that happening, and if Twitter felt otherwise they could go ahead and sue the government and win. Well established.
At my work we’ve got a bunch of PlayStations around the office.
Very relevant to me right now.

But doesn’t the “ What About the Details?” section acknowledge that you will many of the other metrics later anyway for different people, projects and problems? Isn’t the message then “You should know which metrics are relevant to you and only look at them?”
I wouldn't exactly call the comment you're replying to an ad hominem attack.
> I don't get headaches from staring at an LCD even 14h/day.

You are probably a young person (sorry for assuming)

I didn't get headaches when I was 18 and stared for 14 hours straight at a 1024x768 14 inches CRT monitor at 85Hz interlaced.

p.s.: the term you're looking for is "screen headaches"

p.p.s.: http://oaxis.com/lcd-screens-harmful-effects/
Plus, I always have my calendar with me and everything is in one place. I can simply look.

Honestly, it is the same with notes - as in, lists and things to remember later. I always have my phone, so I always have the grocery list and can write down ideas that I have while on the bus or walking.
Do you believe free speech applies to foreign governments spreading propaganda and hate?

https://twitter.com/nicoleperlroth/status/160385966043116748...
No, "Orwellian" means almost the opposite: Winston and Julia are perfectly capable of thinking dissident thoughts, despite being immersed in Ingsoc. "Orwellian" refers to dominating people to the degree that you can force them to use the words you specify and make them say things that they know aren't true.
Bob Dylan famously sold his entire
catalogue to a music publishing giant, reportedly for over $300m. [0] Sadly I suspect that will be more common.

As autoexec stated in the sibling comment: due to the successes of copyright lobbyists we now have essentially indefinite
copyright terms, and for the time being it doesn't seem there's any
realistic chance of meaningful copyright reform. At the risk of sounding
defeatist, I'm not hopeful.

[0] https://en.wikipedia.org/wiki/Bob_Dylan#2020s
There is a very well understood definition for shadowbanning - only the poster can see their own posts.

What Twitter did was not shadowbanning - other people could see the posts.

Pretending it is shadowbanning is bad faith arguing of the worst kind.