skysight-inc/HackerNews huggingface dataset:
> hold him to account

Exactly.

He wasn't held to account for "an inappropriate relationship" (which is a fucked up way to describe multiple statutory rape allegations).

Instead, he was protected; given interviews where he practically hanged himself with ridiculous claims ("I don't sweat", "no recollection" of photographic evidence, etc); and still hasn't been investigated, even after refusing to cooperate with investigations.

And, you're dramatically underplaying his relationship with Epstein and Maxwell, which goes back to 1999 and includes weddings, Royal parties, topless Thai festivities, international visits, etc; even after Epstein's conviction: [0], [1]

It's not hyperbole to put him in this list; not at all. His inclusion illustrates the extent of power getting away with crimes in Britain. He was never arrested - but the protester who heckled him was. That says a lot.

0 - https://www.bbc.com/news/uk-49411215 details the absolute bare minimum extent of it.

1 - https://www.theguardian.com/uk-news/2019/dec/07/prince-andre...
Could you please explain how that chart proves your argument and how it makes the parent comment "malicious"?
Airplanes and CPU's are exactly the kind of market where they are operated by a business and they are very good at managing efficiency and running costs.

You don't buy an airplane, you buy a plane ticket, and you choose it based on price.

An airline buys the Airplane, they calculate their expenses to set ticket prices. They will buy a more efficient airplanes.

Consumers suck at managing efficiency, they will buy an inefficient fridge that's going to cost twice as much over it's lifetime, because they don't measure and keep track of these things.
It works for MS because of their high market share, the fact that they sell to consumers and not businesses, and the fact that this is unfortunately somewhat of a niche use case.

Bugs definitely matter for smaller companies that cater directly to businesses, for example. "Our workflow is broken" can cost you a very high-paying customer.
In a messed up way I almost think of Times Square as a piece of art representing capitalism. It's one of the few places on earth where the ads are part of the architecture, that is Times Square wouldn't be what it is without those massive ads. It's also just such a hilarious tourist trap because it carries pretty much all the hallmarks of a "tourist trap".

Fun to go there once for the novelty and to see the ridiculousness, but like other commenters have said, wouldn't go back there again.
Probably something that works for them now and a change might degrade reliability.
The name's Lanley, Lyle Lanley. And I come before you good people tonight with an idea. Probably the greatest—Aw, it's not for you. It's more a Shelbyville idea.
I like the idea of humans still being the keepers of knowledge forbidden to be disclosed by AIs
Twitter posted a corporate-speak update on the limits yesterday https://news.ycombinator.com/item?id=36596145

Some damage is done. Even my local print newspaper reported about Twitter restricting views massively and I doubt they'll report about lifting of limits.
There are some excellent phone apps available. I like Ivory a lot (but also I used to like Tweetbot a lot, to the point where I wouldn't use Twitter without it; they're basically the same app).
I disagree, my point is that my code is better if I write it as JavaScript. TypeScript is more like an extra unnecessary thing I need to do which doesn't add any value.

A better metaphor would be; I want to boil some chicken and I have a pan full of boiling water... Then just as I'm about to put the chicken inside, the head chef stops me and tells me that I need to pour oil into the pan.

I protest; "But sir, there's no need, the customer asked for boiled chicken, not fried chicken..."

"Do as I say" says the head chef.

So I reluctantly pour a tiny bit of oil on top of the water, then I add the chicken. It splashes around a bit, no big issues, and the chicken comes out OK.

The customer got the boiled chicken they ordered, and they're satisfied.

"See, it all worked out... Aren't you glad you listened to me?" says the head chef.
Electricity bill?

Electricity prices did not increase in April. They peaked last year and have been falling this year.

You are welcome.
The public have been sold a lie. Just like the “Patriot Act” was just to keep everybody free and protect people from terrorists. It happens everywhere, and has been happening for a long time - it’s more about the narrative made up by the people pushing a law than what the law actually does. It would take a particularly free, particularly good media to inform the public that just doesn’t exist in most of the world.
I once had an undergrad tell me directly that her strategy for financing college was to get through on loans then declare bankruptcy right after graduation. Good grief, what could I say to that?
In theory, sort of, depending on the card and workload. In practice, much more of a headache since (if nothing else) the user base is much smaller.

That's coming from someone who just ordered a 7900xtx anyway.
good issue, but you cannot absolutely title this pretty basic post a "comprehensive guide"
A few reasons why people might be pushing against nuclear:

- high electricity generation costs
- "I don't want to live next to a nuclear plant"
- If Japan can't handle it securely, why do we think we can?
- Unsolved long-term waste storage location
- Cost for long-term storage must additionally covered by the society
- We are producing radioactive waste that must be securely stored for thousands of years to feed the energy needs of a couple generations, even though there are more sustainable and cheaper alternatives
Risk Management for AI Chatbots
This is basically the FT2 vs IT debate all over again. (FastTracker is better though)
Wait... There was only one month where I was working on "finish your thesis"
My hope is that I would still be valuable from a UX and high level architectural point of view: knowing what to ask the AI to write and connect together to create the application. Suddenly my writing the spec for the software that the AI will write becomes my job, and maybe I can then produce a lot of softwares whereas pre-AI I’d only be able to work on one at a time, since I have to also write the actual software.
> Eg. Australia officially since 1920, with workers rights being an issue since the 1880s.

Can you elaborate on history of communism in Australia? I'm not familiar with it.

> > It ended with terror or at least tyrany in every single case.

> News to me.

Show me an example of a country where a communist revolution did not end badly.
(and Krentewegge)
With a precise exponential the tail wouldn't really add up all that much. The integral to infinity is a finite number.
Hi, thanks for this question! On leap years the code for January and February is decreased by 1. Everything else stays the same! I updated the blog and the Go code to take care of this.
There's also this guide for their rideshare (Transporter) missions, if you don't want to buy a whole rocket: https://storage.googleapis.com/rideshare-static/Rideshare_Pa...

It's surprisingly affordable, starts at $330k USD for a 50 kg microsat (although unless you want to build and qualify your own separation system, it'll really be almost double that because you'll have to buy a separation system from SpaceX).
Still nothing getting through to nitter it seems ...
I've asked myself a similar question in the form of "if I was born 100+ years ago, what would I do instead?" I feel like I would get into carpentry more. Though I have really been enjoying pottery lately, so maybe I would do both and see what works out.
In theory.

Could you tell us about the historical effectiveness of such open letters to UK politicians, from tiny numbers of technical experts, on issues politically similar to this?

Assume that we've heard of Performative Activism.
> provide browsable documentation about the constraint its enforcing and how other places in the code resolve the constraint.

It doesn't provide "browsable documentation". It provides complex unreadable types that you have to painstakingly manually "compile" in your head to figure out what the hell is going on
Most of the population changed their mind and is pro-nuclear. But sadly the only party really supporting nuclear energy is the AfD, which is a far-right party most would never consider to vote for.

Nuclear phase-out is part of the Green party identity; the CDU had Merkel going against nuclear after Fukushima and can't really go back, the FDP agreed, the SPD is also against it.
You're welcome! And likewise, thanks for the interesting reply.

I'm afraid I have no knowledge of your field, and no idea whether there are good tools and libraries for formalising the things you want. Maybe ask or have a look around the Proof Assistants StackExchange[1]?

There are many CS conferences through which you can publish formalised mathematics. One that comes to mind is ITP[2], but there are lots which are announced on mailing lists like TYPES-announce, coq-club, agda... You could look through previous versions of ITP and check out a few of the papers on formalising mathematics to get a feel for what these publications look like.

[1] https://proofassistants.stackexchange.com/

[2] https://mizar.uwb.edu.pl/ITP2023/
Most important is the network effect. You wanna be where everybody else is. But I also think UI/UX can be better in Mastodon. It isn't terrible but Twitter etc has better and more modern UI (yes, I know there are different instances etc).
I am aware of mathml and mathjax for LateX symbolic rendering, that is not what I am looking for. What I am looking for packages creating mathematical objects and simulations, I will look at some of the links that you have given. Thanks
Well, dying from cold and hunger is better than dying from pollution, they say.

Meanwhile, people pushing for wind, solar and electric cars can make some fortunes. :)
...and the final step where having succeeded no one actually cares and you are now unemployable.
> It's decentralized so that's impossible.

Hmm, I'm not sure I entirely agree with this, but it does depend on users being aware of the possibility of impersonation.

You can "verify" a Mastodon account, in that you can demonstrate that it is connected to a domain that you control. This is better than post-Musk Twitter 'verification', which is, of course, not verification at all. The UX around all this is lacking, though.
The network neutrality discussion belongs in the same bucket. People thought it would be the end of the open internet if there wasn’t a dedicated regulation.
https://www.prbs23.com/blog/

Started a couple years ago, but I don't have as much time to write as I'd like. The majority of topics relate to ASIC design and verification, since that is my day job, but with some other side projects mixed in.
Funny the blinker was still called "trafficator".

https://en.wikipedia.org/wiki/Trafficators
This post is overtly transphobic. Even if it contains some relevant context, I feel that promoting it is deeply unethical.
I understand that, but I am not sure we should discriminate based on the class of the customer base.
The main thing holding back Mastodon is the lack of quote retweet functionality. Without it, Mastodon is useless for the journalism and activism that made Twitter popular. Unfortunately, there is little hope this will change as Mastodon’s developers stubbornly and arrogantly refuse to implement it.

Frankly, I don’t think it would make a difference at this point. Mastodon has had a year to prove it can be a replacement for Twitter and it has failed terribly. I don’t think it can overcome the negative first impressions left by it’s obnoxious user experience. Like who’s bright idea was it to purposefully leave the official Mastodon app feature incomplete?
> I didn’t say anything about profit.

The entire premise of my comment was about being substainable. That requires making a profit.

> But you’re right, no one uses Apache, nginx, postfix, bind, dhcpd, ntpd, spamassassian, kubernetes, go, python, c, busybox, irc, email, sip, php, react, … and they’ll never last.

Again missing the point. And wasn't DHCPD the one that had a serious issue because one guy was maintaining it and he had terminal cancer so part of the things he had to do when he was dying was find someone to make sure a critical part of the world's tech infrastucure was maintained? That's not substainable.

I also like how you listed protocols.
> Gnome is so sweat

... Sweet?

I don't like GNOME. I don't like GNOME accessories; I hate CSD and hamburger menus and that big empty wasted top panel. I want more things vertical, while GNOME is moving its vertical workspace-switcher to horizontal.

The Cosmic tiling is good. That's an improvement. GNOME's window management sucks, and this is better.

I also really don't like systemd-boot and it broke one of my laptops severely.

So, I am happy that it is good for you, but it is not something I'd choose.
Yea, sometimes happened when your brain just can't be productive. I do feel a bit bad from it and usually overcompensate the day after.
Understanding Mental Health – A Path to Well-Being and Resilience
Understanding Mental Health – In today’s fast-paced and demanding world, mental health has become an increasingly important topic of discussion. While it is often used to describe the absence of mental illness, mental health encompasses much more.

https://www.wellbudy.com/understanding-mental-health/

It is a state of well-being that allows individuals to realize their full potential, cope with the daily stresses of life, work productively, and contribute to their communities. In this blog, we will delve deeper into the concept of mental health, exploring its significance, common challenges, and practical strategies for nurturing our well-being.
it is the right of every company to have the freedom of association[1] to determine what sort individuals they want to associate with

not when it comes to employees and also not when it comes to customers. employees have a right to share their opinions. and discrimination on political opinion is illegal in many countries. i am not sure if that is the case in the US, but it is in the EU and the UK at least.

doesn't mean that their employer has to provide a platform to say it

the employer didn't provide the platform. they said it on their own personal twitter account not on the company blog.

It also doesn't mean that the employer has to allow its employees to disparage paying customers

depends on whether the statement is factual or not. in germany there was a court case that clarified that it is legal and not an insult to claim that "soldiers are murderers" as long as it is not making that claim about a specific person. https://en.wikipedia.org/wiki/Soldiers_are_murderers

according to the german court:
"sharing opinions to public controversies is a sign of a free democratic order"

companies can not restrict the rights of their employees to share your opinion because that would essentially prevent any public discourse about controversial topics.
Rising energy prices, laws that make industrial products like cars reach prohibitive prices.
"Decent living" for the standards of year 2000 perhaps. Real wages stagnated for a long time while rich got relatively even richer. Furthermore, the structure of the economy has been changing, it's just that Germany is slow to adapt (perhaps more so because of its aging population).
https://yannesposito.com (or its clone https://her.esy.fun)

I blog about functional programming (haskell, clojure), but also emacs org-mode, thing like these. I sometimes tell myself I should invest more time to write down more about my thoughts there.

I am happy to be part of the 512kb club.

Here are a few posts that were somehow popular:

- https://her.esy.fun/Scratch/en/blog/Learn-Vim-Progressively/

- https://her.esy.fun/Scratch/en/blog/Haskell-the-Hard-Way/ (updated by https://her.esy.fun/posts/0010-Haskell-Now/index.html )

- https://her.esy.fun/Scratch/en/blog/Yesod-tutorial-for-newbi...
https://anisse.astier.eu

HN really liked this article: Awk driven IoT https://anisse.astier.eu/awk-driven-iot.html

But there many others that could be interesting:

Making a Twitter bot that looks for hashes https://anisse.astier.eu/making-a-twitter-bot-that-looks-for...

SIGSEGv1 qualification CTF https://anisse.astier.eu/qual-sigsegv1-rtfm.html

Bash, so long and thanks for all the fish https://anisse.astier.eu/bash-to-fish.html

Playing with ARM servers in a pre-Ampere era https://anisse.astier.eu/distro-kernel-scaleway-arm.html

How remote work pushes you towards engineering best practices https://anisse.astier.eu/embedded-software-maturity.html

How I traded my first software project: https://anisse.astier.eu/gmail-binary-clock-rust.html

Winning r2wars 2019 https://anisse.astier.eu/r2wars-2019.html

And of course my ongoing Game Gear emulator in Rust series: https://anisse.astier.eu/talks-emulation.html https://anisse.astier.eu/gears-update-2023-01.html https://anisse.astier.eu/gears-update-2023-02.html https://anisse.astier.eu/gears-update-2023-03.html
This isn't quite accurate.

GPT3.5 is 4k tokens and has a 16k version
GP4 is 8k and has a 32k version.

You are correct that this needs to account for both input and output. I suspect that when you feed chat gpt longer it prompts, it may try to use the 16k / 32k models when it makes sense.
To tip or not to tip? why tipping has gotten so out of control
Elixir got traction as a Ruby on Rails replacement in combination with Phoenix. That was deliberate. The core modules and functions got names identical or close to their Ruby counterparts. It makes sense that they aimed a dynamically typed language to another dynamically typed language. If they aimed at Java developers they would have to add a type system since the beginning. That's extra work though.

I got into Elixir because it is dynamically typed. I wouldn't have considered a statically typed one. Luckily I find enough customers with Ruby and Python. The last Elixir project was from a couple of years ago. I didn't have to use something statically typed since 2012, I think. Too tiring to write.
Lol. If I'm reading the article properly, renewable energy production actually went -down- in 2023 compared to 2022: 97TW compared to 99TW one year earlier.
But: non-renewable energy production in GE went down even more, due to, amongst others, the shutdown of nuclear plants.

Did GE then start consume so much less energy compared to 2022? No it did not. GE -produced- less energy, in particular less non-renewable energy. But to compensate, it imported more energy. And all this imported energy was non renewable; much of it was LPG that was imported from oversea.
Will Wright Discusses the Demoscene:

https://www.youtube.com/watch?v=m7iuFVmTJus

>You can take any piece of content in the game, and imagine an algorithmic solution to it. Or also, you know, a way that the player could customize that object of thing.

>There's this group in Europe called the Demoscene that make these very elaborate demos for a computer that fit into very tiny little memory blocks, you know like 64K of memory, and you run the thing, and in fact it algorithmically generates about 100 megabytes worth of data, you know these rich 3D environment, generated music, generated wave files, generated animation.

>And they're developing techniques to generate, you know, huge amounts of interesting data, with very very simple, elegant, compression algorithms.

>And this is a skill that game developers used to have, back in the 8-bit days. That was the only ways to do a game like Karateka(?), was to find all these little tips and tricks to compress things and generate them algorithmically.

>But since the CD-ROM came out, and very cheap hard drives, storage is cheap, so basically we've lost that skill set, and now we attack all those problems with brute force. I think we've lost something by dropping that skill set.

The Future of Content — Will Wright’s Spore Demo at GDC 3/11/2005:
What I learned about content from the Sims.
…and why it’s driven me to procedural methods.
…And what I now plan to do with them.
Talk by Will Wright, Game Developers Conference, 3/11/2005.

https://donhopkins.medium.com/the-future-of-content-will-wri...

>Algorithmic compression.

>Games consist of a mix of code and data. Computers use code to compress data. The ratio of code to data has changed over time.

>Games used to be mostly code and very little content, so compression was important.

>CDROM is the medium that was the death knell for the algorithm.

>Myst was a very elaborate and beautiful slide show, with a vast amount of data. It looked like they had a great time building this world. Building the world is a fun game in itself.

>At the other end of the spectrum from CDROMs: The Demo Scene. Algorithmic compression of graphics and music.

Will Wright GDC 2005 Spore (The Future of Content) Remastered: 6:18

https://youtu.be/ofA6YWVTURU?t=378
The energy is traded using Direktvermarktung and that's purely a market.
as well as individuals being different to each other. lots of different lesbians, with lots of different ideas, opinions.. everyone is an individual. it's not like one heterosexual is the same as another.
That was...a lot more straightforward than I thought.

First try: Year 4 Month 5

Second try: a lot more things went wrong. Year 5 Month 11.

Third try: Year 5 Month 11.

I just followed these rules:

- Study for the qualifying exam until I'm "very confident"

- If I have no ideas, read papers

- If I have an idea, work on developing it. If I have a preliminary result, work on developing it. If I have a major result, conduct experiments etc...if I have a rejected paper, revise and resubmit. Prioritizing whichever option gets me closer to an accepted paper (because presumably the ideas get outdated quickly)

- Whenever I get the "ask my advisor for a break?" say yes. Whenever I get "I am tired" and no "ask my advisor", "Slack Off" for one month.

Fortunately I got no abusive advisor, rejected papers usually end up getting accepted later, no extreme life circumstances or cut funding. But my computer crashed way more often than I'd expect, especially since backups are so common nowadays.
Yeah, seems like Twitter changed the endpoint to /TweetResultByRestId from /TweetDetail. I know nothing about how nitter works, but should be trivial to fix, no?
So, where should one eat the best krentenwegge in the World, presumably in (which place in) the Netherlands?

I have good information that the best panettone could be at the Pasticceria Roletti, in San Giorgio Canavese, in northern Piedmont.
What Germany gained is more pollution, higher CO2 emissions and a lot of hopium that current energy fubar will somehow be resolved sometimes in the unspecified future using semi specified technology (there is no large scale energy storage solution available for renewables and it will stay like this for some years to come). Shutting down nuclear was a political decision, fueled by pure ideology (and some Russian help because natural gas exports).

What entire EU gained is getting to support often unstable electricity grid in Germany. So we all gained a lot by the looks of it.
Most of my article are about Ruby, but I want to cover the intersect of engineering, product, and business.

URL: https://www.gregnavis.com/articles.html
Newsletter: https://www.gregnavis.com/newsletter.html
Now imagine this, but with a "LinkedIn feed" that shows updates from your peers, showing their professional accomplishments and current salary.
Start a Porn Party. Have Stan’s dad from South Park after his big porno session S12E6 be the mascot.