skysight-inc/HackerNews huggingface dataset:
Yes, what you discuss happens, but $DJT is something different all together

- most social media companies went public much later in their existence, with significant revenues, even with net losses

- they have not been able to grow at the same pace that other social media companies have

- they able unable to attract the new advertisers or users

Consider Reddit went public around the same time, has/had roughly the same valuation range, but has 200x the revenue of truth social

The fundamentals are just not there to support the current valuation. DJT is the most overvalued stock on the market right now, trading at over 1000X premium. Can you really see this platform growing to be the size of Twitter, Reddit, or Meta?

It's really shady that they won't share user or engagement numbers like other companies in their industry
> It's a bit naive to think this isn't done already

Yes, it is definitely done already. However, the point emphasized is this is another level up for capability. Any technology that can be used to influence/control people will be used to do so.

The other disturbing aspect is that despite all of the known pitfalls and abuse that has already occurred there are no shortages of people who are enthusiastically willing to deploy such capabilities to be used on everyone else without a moment's thought of the repercussions.
You must be really hurting. Have a cookie.
Watch: Mount Etna puffs giant smoke rings in 'extraordinary' phenomenon
You're talking about asylum seekers, that's not representative of the problem. It was a matter of strict policy to target a 3%+ growth rate. That was reached with economic migrants, refugees and the others are in addition to the targets. That's not counting TFWs and students who'd go to work full-time instead of attending to their studies
Honestly, I love this aspect of my Pihole. Stops Google stealing those pennies from the businesses who were already gonna be the #1 result anyways.
Webuilda is a simple, easy, and powerful micro saas website editor tool. With all the elements you need to create a stunning website in just a few minutes. With a touch of AI and ready made Drag and drop templates. Everyone can create a website with no special skills required.

WeBuilda offers pre-designed templates & also provides a wide range of customization options. You can personalize your websites by changing colors, fonts &layouts and easily adding your own content and images.

WeBuilda will help you create your own website. Bring your ideas to life & create something beautiful and visually stunning.

Try it out today!
I made a fun clicking test [1] based on my favourite typing test website [2]. It wasn’t exactly a weekend, but I was recently laid off and everything feels like the weekend now lol.

Not very mobile friendly btw (sorry)

1: https://rsazra.com/clickings

2: https://typings.gg/
'Panama Papers' trial to begin eight years after tax evasion scandal
In what world is the US education worse-than-third-world? The US has universal literacy, phenomenal higher education institutions, and primary and secondary schools that are comparable to peer countries on average.

We spend lots of money on schools in the US and generally get pretty good outcomes. Our math scores leave something to be desired, but average reading scores are better than peer countries. There are plenty of exceptions, especially in poor neighborhoods, and chronic absenteeism is a real problem, but it's worth keeping sight of the fact that the vast majority of American schools are quite good.

Some examples:

* PISA scores: https://www.oecd.org/pisa/OECD_2022_PISA_Results_Comparing%2...

* PIRLS/TIMMS scores: https://nces.ed.gov/fastfacts/display.asp?id=1
Yes. And in any case, that wasn't the point. I haven't seen anybody refer to pre-WWI European monarchies as "dictatorships".
Here in Norway the government fully owns several "private" companies[1], like Statkraft[2]. They can have bonus programs and similar. Some are too good[3][4], others[5] not quite as wild.

[1]: https://www.regjeringen.no/en/topics/business-and-industry/s...

[2]: https://en.wikipedia.org/wiki/Statkraft

[3]: https://www.nrk.no/norge/statkraft-oker-inntekter-og-bonuser...

[4]: https://www.dn.no/energi/narings-og-fiskeridepartementet/lo-...

[5]: https://www.mesta.no/wp-content/uploads/2023/03/Mesta_Vedleg... (page 2)
Isn’t that effectively what they’re doing? They’re using their riches to pay the people with the necessary institutional knowledge to build it in the USA.
Thanks for sharing! It is really helpful to learn System Design.
> Reality disproved his game-theoretic argument.

Or maybe he was playing game with his statements. There is a sociological principle (I don't know what/if it has a name) of having an extreme take to rein in a lesser extreme. It can be very informative to see your own ideas taken to an extreme. There is also the impact of an enemy knowing how calculating/cynical you are towards them. I'd say Von Neumann was a hippies hippy by all accounts.
Laughs in French.

I'm strongly reminded of the diplomacy saying "Don't go into a well with an American rope".
People have been trying to measure productivity for many years. If you found a good method you should publish it.
You can't build and sell a warship (or submarine in this case) without congressional approval in the US
My experience with this kind of tool is that it is at least as hard to learn the tool as it is to learn the technology it abstracts over.

I think that's because thinking about the problem I am trying to solve is always the hardest part and I have to learn a syntax and semantics no matter what. And the syntax and semantics of SQL is mathematically linked to the mathematics of relational databases. Natural language isn't.

Furthermore there's decades of good technical documentation for SQL written by diverse authors for diverse levels of technical experience. Natural language projects are one off and writing documentation is usually a lower priority than making code go.
That's provocation.
I was working on a mobile team, the order came down from on-high that google recaptcha was no longer cutting it for verification during user signup and we were switching to Arkose for our captchas, for some reason, no one could tell me why other than "my boss's boss says so".

The Google and Arkose SDKs were fairly different in their implementation and the Arkose SDK needed a lot more tweaks to get working in our code. The entire company spent around a month migrating web, iOS, and Android and then coordinating a simultaneous release. All went well, congratulations all around.

Fast forward to a year later, new order from on-high: we're switching from Arkose to Google Recaptcha because Arkose was too expensive! Rumors were circulating around then that the only reason we had switched to Arkose was that some VC had a buddy on the Arkose board and pushed really hard to get our company signed on, and then immediately left.

I left the company not too long after the migration back to google Recaptcha, but was waiting with baited breath for another order to be given to switch back to Arkose.
Congrats! I remember when this came out. It was very cool.

What did AWS do?
This was a lot worse in the Soviet Union. The level of inequality there is hard to comprehend, where your personal essentials such as freedom to move or being able to defend yourself from violence highly depended on your "wealth", that is your standing in the "nomenklatura". Not to even mention actual wealth, like having a car or real estate.
An overview of virtual memory management on Maestro
It's a Brian Clough joke
To 524 KByte RAM, 8 MByte storage: IBM's System/360 turns 60 years old
It must be nice to get such a review of your code and design, and it looks like KDE appreciated it (probably they expected it, hence the early reach out). Kumbaya but non sarcastic :)
The issue is industrial capacity. Right now the US has enough industrial capacity to deliver maybe 2 submarines a year, and that needs to scale a lot. But that requires the companies involved to build more dockyards, train more workers (this is fairly specialized stuff), etc. Thats a big upfront cost for those companies, and they aren’t entirely sure such investments would pay off, and things like the above budget request underline that hesitancy. Personally I think this is why we need government intervention, more than just throwing money at them and hoping they invest it in industrial capacity.
One of my pet peeves is how Germans have amazing bread, but then put the blandest possible stuff (like very tasteless Cheese, and one leaf of salad) on top of it, while Italians have great stuff to put on bread but the bread itself is so boring.
Always love a good Peter Watts reference, though this one makes me want to go back and read Blindsight again as I can't remember the reference... As his website says though, my "will to live [has been] getting too strong" lately, so...
Funny thing, after you report the ad-riddled site, you get taken to a spartan confirmation page which reads:

~~~

Thanks for sending a report to Google. Now that you've done your good deed for the day, feel free to:

1. Take a second to rejoice merrily for doing your part in making the web a safer place.

2. Make sure you have upgraded your web browser to the latest version, and that you have applied the latest patches for your operating system.

©2007 Google

~~~

Yeah, that really does sound like old-Google, before they (and advertisers, and mobile phones) killed the internet. RIP :(
Why don't you tell me instead of asking questions that you surely know the answer for?
I remember reading about people doing that on the Apple II with the Woz mini assembler. I always had an assembler on the 6502 so I never did it myself. Makes sense though. Never thought to do it on x86 but it's a good idea.
CHIPS act ($39 billion) pales in comparison to Chinese subsidies.

All Chinese semiconductor subsidies, both local and state subsidies, are estimated $60 billion __per__year__.
it's similar to all the others: either a non-generally-human-comprehensible notation (how is pure red oklch(62.8% 0.25768330773615683 29.2338851923426) treating you?) or seriously flawed (like HSL)
It could make sense if it's checking for robots.txt or so, though I'm not sure if it does that each time search results and I would have thought that that would be conducted from the server side rather than client side.

Are you sure you don't have some browser extension that does some checks/inspection/etc of links?
@dang I think this is the same story as another post published an hour earlier: https://news.ycombinator.com/item?id=39967707
It's the opposite. If you're not a big band, you usually cannot afford to go on tour. You have no manager, no contacts, you have to handle booking venues, lodging and transport yourself and hope that you can make some of it back in ticket sales.

Most bands can't do this. They're not full time musicians, many have a day job. The ones that can are likely to come from rich families where they get time and money to pursue their passions, insteas of going to college and getting a job.

Lana Del Ray, Grimes and Billy Eilish are some of the biggest artists of the 2010s, all of them grew up rich and connected.
iOS Emulator Delta receives Apple's approval to be released on AltStore
> you have to drag your stuff from a locker

I (fixed desk) only get notices with a picture of how my desk should look like, and in that picture it looks like nobody works there. Granted, I'm a bit messy, but the standard I'm expected to follow is just bleak and sterile.
> Could you please briefly explain the indispensibility argument?

An extremely rough caricature:

- Scientific realists claim that we should believe the entities that are indispensable to our best scientific theories (electrons, for instance) exist.

- Mathematical entities are indispensable to our best scientific theories

- So scientific realists should be realists about mathematical entities.
> Chinese semiconductor subsidies, both local and state subsidies, are estimated $60 billion __per__year__

Source? Note that several states, including Arizona, are topping up CHIPS.
A moral difference? What even is that? Amazon wants you to put out affiliate links, npp wants you not to. So one is with concent, the other without. Consent is the moral difference?
maybe it’s because if you ship enough to some countries, they will come knocking asking for money

if they producing at capacity it may not be worth the hassle yet
This is just a terrible take...

Those property prices are not going down any significant amount. The capital system in the US has realized it can buy up as much property as possible and use it to extract as much wealth as possible via literal rent seeking. Places that are not close to anywhere have had rent prices explode. Oh, and if there is a massive 2008 like housing crash, the banks themselves will hold on to the properties keeping prices high. Meanwhile the Bezeo's themselves that have the AI will be buying up as many real assets as possible.
I think LLMs would actually do better at this than a human because the whole problem with debunking this stuff is that the anti-facts come at a pace that no human can sustainably refute in real time.

It's always "well, my cousin's friend's kid got autism right after getting a vaccine" and before you can look up the necessary studies to refute it, they're already talking about hydroxychloroquine.

An AI *that the user trusts* is going to be much more effective at that sort of whack-a-mole.
Was it write-downs?
> then even though I wrote the vows myself in Italian, just because I am American we had to have it translated by someone else back into English, by hand, just so I understood the vows I had myself written. We then had to contract someone to read the vows out loud in English at the ceremony so I understood my own words.

I badly want to learn the historical reason for this insistence that non-Italian-speaking foreigners must understand the contract they're entering into. They wouldn't put up these hoops to jump through unless someone's gotten badly burned in the past, right?
> See [0] where our reliance on Dijkstra is transparent.

Mentioning that you're vaguely inspired by Dijkstra is not the same as discussing prior art. And it's not like there isn't enough prior art about "safe C" out there [0, 1, 2, 3, 4, 5, 6, 7, 8, 9].

> Begin with the fact that Xr0 is written in C and feels like C. We're building it so that C programmers will be able to use it without explicitly learning about formal verification.

Most of the people interested in formally verifying their C code will already know about formal verification and absolutely don't care about whether Xr0 is written in C or not.

> But what I mean by "mathematician" is a self-conscious mathematician, or at least someone with a background in formal mathematics.

I'm doubtful Xr0 will be useful for someone without a background in formal verification.

To me, the whole project seems like vapourware. It currently works on an extremely limited subset of C. In fact, this subset is so limited that from a computation theory standpoint, the current capabilities of Xr0 are trivial. Supporting while loops (or general recursion) on the other hand is impossible (from a computation theory standpoint).

Even on this small subset of C it took me five minutes to get an out of memory error and a further five minutes to craft a C program with a double free that passes verification [10].

All this combined with a website that makes great promises about how awesome Xr0 is (or rather going to be) and handwavy explanations about how easy adding the missing features will be that don't hold up to any scrutiny. Dozens of similar projects exist, few of them work at all on non-trivial C programs and all of them require herculean effort (and are thus only used for safety critical software) to correctly annotate C code (often this includes rewriting parts of the code to make the annotations simpler or unnecessary). There is no discussion at all how Xr0 is going to solve the problems that killed these projects.

[0]: https://link.springer.com/chapter/10.1007/978-3-642-03359-9_...

[1]: https://link.springer.com/chapter/10.1007/978-3-540-71316-6_...

[2]: https://link.springer.com/chapter/10.1007/978-3-642-33826-7_...

[3]: https://ieeexplore.ieee.org/document/8543387

[4]: https://dl.acm.org/doi/10.1145/2594291.2594296

[5]: https://link.springer.com/chapter/10.1007/978-3-642-32347-8_...

[6]: https://link.springer.com/chapter/10.1007/978-3-642-20398-5_...

[7]: https://dl.acm.org/doi/10.1145/503272.503286

[8]: https://www.sciencedirect.com/science/article/pii/S157106611...

[9]: https://dl.acm.org/doi/abs/10.1145/3453483.3454036

[10]: https://pastebin.com/raw/JbzMj2Bg
City Health Dashboard
Those roles are upper class or professional jobs. I’m guessing they had the ability to extract higher compensation or work conditions, compared to others who had to accept the new normal or else.

This really impacts the lower and middle class.
I like this idea and think we should get back into federally building things too.
Quite a few EU citizens travel to Denmark nowadays to get married to foreign nationals. Much less complicated and since Denmark is in the EU they won't have any problems to get it recognized in their home country.
What processing fees? This is a digital platform. It's not like there are dozens of bureaucrats stamping tonnes of papers here.
https://simpleflying.com/ryanair-wants-boeing-737-max-orders...

Youll be surprised to know then someone else is willing to take the order if it's cancelled.
All fantastic examples. A semi-joking game we used to play at my high school was "Firework or gunshot?". A few more to add:

- If I call the police, will they help? Will they help me? Many people I know are SCARED by the police when they're just minding their business, which I'd say indicates something wrong. We nearly had a civil war in 2020 over police killings.
- Very little walking or biking infrastructure. Very long distances between commercial and residential areas too. Even trying to be environmentally friendly feels pointless sometimes when you have to drive 10 or 20 minutes just to go to a recycling center.
- Workers' rights are a joke in the US. OSHA regulations are only followed after someone gets a bad enough injury. Good luck getting any compensation for that too, the phrase "worker's comp" is a joke all by itself.
- The cost of secondary education is ridiculous. I have loans from college, as do most of my friends, and we've been paying those of and will be paying for years to come.

You're very much correct that some or all of these can be resolved with enough money. But even for someone with the cash and connections to make such a drastic and expensive move, it's a lot. I'm sure as time goes on I will find more examples.
All your JS/TS example says is that the `f` callback is not curried, so your point is entirely lost on me.
Can != does
> As a general rule, if you think something like "No abuse possible.", you are unfamiliar with the problem space.

Ok. The gains for the abuse is capped at the subscription fee minus Spotifys fees, per account.
'Australia pays $830m penalty for ditching non-nuclear French submarines'
Can You Explain a Hard Idea Using Only the Ten Hundred Most Used Words
Would it better to create a "safe C++" that gets rid unsafe C++ features and breaks backward compatibility or create a new language with a different name?
The Information Technology Agreement of WTO[1] eliminates taxes and tariffs for IT products,
I'm not sure if chips belongs to this agreements?

[1] https://www.wto.org/english/tratop_e/dtt_e/dtt-ita_e.htm
Author here. I haven't had Promite for several years (it's impossible to find where I live) but I remember it being softer in texture (more like a normal spread) and a smoother flavour profile. Less intense (in a good way!) but still robust and flavourful. It was my favourite over Vegemite.
that's such a minor issue compared to the fact that it's the only human-comprehensible notation (but one that fixes serious hsl/v flaws) that the original question still stands
We got ours from https://www.foris.com/en/shelf-companies/ and can recommend them.
Modern video acceleration wouldn’t copy 1 byte into video memory even if we stuck to ASCII. They have to blit those characters onto a surface in the required type-face.

The extra few bytes for Unicode characters outside of the usual ASCII range is effectively a rounding error compared with the bitmap data you’re copying around.
There are CFC tax rules in Germany (like in some other countries). So though corporate taxes in Estonia are zero*, you will likely be subject to the German corporate tax system if the majority of the beneficial owners are based in Germany.
Go ahead, tell me this image and scenario wasn't already available in its training data (it was [1]). Tell me that if it got it wrong in the first pass (which it most likely did), the developers didn't explicitly tell it what the scenario was.

I'm not saying the feat of LLMs is not impressive, they certainly are. Just don't tell me they have developed a "world model" and display understanding because they have not. They will always suffer the same issues that have plagued self-driving cars and autonomous robotics: they can only process what's in their training data, therefore they need to be trained on all scenarios that will ever exist to function outside of well-curated, well-defined closed systems.

I would love a good chuckle too, unfortunately the total lack of critical thinking and understanding when it comes to these stochastic correlative black boxes leaves me greatly disappointed

[1] https://www.reddit.com/r/Wellthatsucks/comments/j67atm/1_sec...
The Dam: a Guix public access server
> Both were very good writer

Not sure about that that. Darwin goes on and on and on sometimes - especially about pigeons.
The methodology of the linked keyboard latency article including the physical travel time of the key has always irked me a little
I wrote a Chrome extension that scrapes eBird to pull the GPS coordinates of bird sightings from whichever page you are on and display them on a map. When I want to go out for a bird-watching adventure, I pull up the rare bird alert for my state, kick off the extension, and get a simple map that I can check to see if there have been any birds near me that aren't already on my list.
Whilst still not able to get a permanent copy, but VM/370 got not as good but ok "ee" full screen editor plus an interactive file list manager. I develop program faster than MVS 3.8 actually.
> If there is a future with this idea, its gotta be just shipping the LLM with game right?

That might be a nice application for this library of mine: https://github.com/Const-me/Cgml/

That’s an open source Mistral ML model implementation which runs on GPUs (all of them, not just nVidia), takes 4.5GB on disk, uses under 6GB of VRAM, and optimized for interactive single-user use case. Probably fast enough for that application.

You wouldn’t want in-game dialogues with the original model though. Game developers would need to finetune, retrain and/or do something else with these weights and/or my implementation.
HTR-PM heating project commissioned
I wonder what it is with calendars.

This weekend I went looking for calendar widgets and after trying approximately 5 I couldn't find any where the UI felt intuitive.

I made my own instead. Maybe I'll strip out the internal stuff and share it and it can be yet another unintuitive calendar widget for the next person.
Pastebin.ai
Spent some time in an apartment with shady WiFi, dropped connections and frequent disconnects.

I built a macOS menubar app that just... pings: https://github.com/attheodo/Pingu