skysight-inc/HackerNews huggingface dataset:
>You could probably get someone, but would you get someone good (competent, trustworthy, etc)?

The same could be asked of people who work on open projects for free, could it not?

Is a financial reward (or lack of such reward), in and of itself, some sort of implicit indicator of the quality of the person putting forth the effort?
Haha exactly. Same thing for military drone strikes. I've noticed way too much of the debate focused on the "drone" part and not the "hey do you have an adequate process for target selection, civilian review, and consequences for targeting the wrong people?" The specifics of the hardware should be irrelevant to that question.
What happens to the value of real estate when it can no longer be insured?
Old boring tech, VB.NET and t-SQL. Never understood the hate for VB.NET, I swear it's from people misconstruing VBA, which is awful, or they had terrible infra and coding standards. The system we had was a general core product that was configurable (I mean, taxes are the same, they just have different rules), but also customizable. Finland wasn't the first international project, but it was maybe the biggest one, so a lot of the solutions ended up being custom for the project. Unfortunately been difficult to find work with the boring tech background, but it was enjoyable (especially considering it was taxes).
This demo page is just a tailwind template with a few modifications here and there.
Future headline: ”minimum wage surveillance worker uses $10M+ system to stalk students on campus”
In the days of Wright Brothers, it would have been perfectly safe to take off and fly your airplane in any direction as long as you can see where you are, but it's obviously no longer safe these days, and there are strict rules about where you are allowed and who you have to contact at which locations.

"What is safe" obviously depends on who else are on the road.
Yes, they are, and what gets sold to consumers as VPNs these days are just proxies.
> I was able to book my flight with the credits. I still don't understand how they were able to when I wasn't.

(speculation) the customer support person on the other end of the line likely has multiple windows open containing terminal applications. With terminal A they directly create a booking record in the booking mainframe, filling in some code indicating "booking paid with points". With terminal B they pull up your balance in the points mainframe & manually enter a deduction.
^^^ this guy is an absolute legend (and his work was the bane of my existence as an Engineer, which made me switch to the business side /s).

This the guy who created the Nagles Algorithm for TCP optimization.

https://en.m.wikipedia.org/wiki/Nagle%27s_algorithm
You could serialize the JS representation to Base64 or Base10 if you want it to be numeric.
We are sprinting towards a dystopia of "computer says no". Decisions taken affecting your life and finances made by computers delivered by minimum wage powerless staff.

I'm sure healthcare insurance companies are inspired by the actions of the home insurance companies. "you declared you never smoked but our drone footage shows you and a plume of smoke in the same area. The AI detected it as cigarette smoke. Your coverage is cancelled and this is our final decision. "
The fatter people become, the more attractive I appear by simply eating less and moving more. So by all means, eat that second breakfast burrito!
Back in my day, it was about obscure web proxies. I remember one that was called something like abelincolnfacts.com, which looked like a blog about Lincoln. But clicking an icon of his face in the top right revealed a web proxy interface to browse the web unfettered.
I've worked in the bankid system in my country. Most people I know have used it already, which is a nice change compared to the projects in which I haven't met a real user IRL. :D
More Agents Is All You Need: LLMs performance scales with the number of agents
911 system for my country. Was part of a small 'special unit' team and we implemented the entire system end to end. Administration, telephony system, even special asset monitoring. Best project I've worked on, and will probably have worked on in my life. Smartest people I've ever worked with.
Sabre started around 1960. They still had playing cards back then so we can't go hyperbolic and talk about "house of chicken knuckles" though.

--

It is pretty amazing how complicated names are if you want them something other than just "your full name as it appears on government ID". Even the casual idea of a "first name" is culturally centered...
Imagine Texas bans private VPNs next. Haha.
There is absolutely no context here. What is levelsio? Thanks for asking what? What is spaceship?
I'd love to, this is exactly the use case for digital technology; automate the stuff we can making more time for more meaningful taska for everyone. Finland is ahead of it's time for these kinds of integrations. Problem is, it requires a central authority having all of the data, and the US has absolutely zero trust in it's government to not fuck it up. With good reason
> Autonomous robots with cameras and guns

Yikes! That’s gonna violate something alright.
You (say) have a trampoline. I do not. We share an insurer. Our insurer asked, when you applied, if you had a trampoline.
Your trampoline materially increases the risk that insurance is going to have to pay to cover a lawsuit on your property. You lied, and said you didn't. I am now paying to subsidize your trampoline.

Why shouldn't I want them to be running drones over our houses? Worrying times... for pirate trampolines!
FWIW, @a_cardboard_box's description doesn't sound like anything I personally experience.

Not that we should expect immediate agreement on any of these things: words can only gain meaning by shared experience, and it's really hard to share the experiences that are confined to the inside our own skulls.
>Autonomous robots with cameras and guns could be installed everywhere

At this point I'm not even sure if you're sarcastic. Or are you an agent of the upcoming robot uprising? Who knows!
Some where in between not talking about it with your mom and dad but chopping it up with a friend briefly about whatever models is so attractive and had a great scene on whatever website
Yep. Anything with 香辣脆 is great.

PB+Ham or Turkey+Pickle+Cheddar is great as well
> I'm not even convinced that foreign languages are worth teaching at school. Bryan Caplan writes about how in terms if effort/reward, English is the only foreign language that will be worth studying. Personally I spent many years in Spanish and French classes, and I've pretty much forgotten everything. Complete waste of time. Another thing that makes me feel like this is just another checkbox instead of something done for the children.

Myself and I believe all of my cousins took Spanish classes in school. I've hardly used it since then and my Spanish is terrible. However, theirs is much better. I think it largely depends on what type of career you are involved in and whether frequent interaction with regular people is involved. Most of us in the software world only interact with others in professional environments who speak English well.
Set them up with some form of DNS over TLS.
That is the single most sassy comment I've seen on this site
Haha, by your reckoning why not monitor all comms for any lies? This is why we can’t have nice things. We are walking into a new Robodebt scenario run by AI - it’s all too much living in a constant state of surveillance and it’s not a world I want to live in.
Yes, an obvious question that leagues of mainstream "journalists" consistently fail to ask. But not only is mass shooting porn good for rating, and nudging the next mass shooter into position but it serves The State as well.

It's not a good when the self-proclaimed free press misses softball questions that would challenge the narrative of The State. But it's hard to point at something that isn't there even when that void is the exact problem you wish to highlight.
Privacy in the US is defined as property rights, and your private property does not extend infinitely upwards into space. Anything over a certain high is public and regulated, and so if it is visible from above, it is not protected.

Otherwise, it would be illegal to fly a plane or even a hot air balloon pretty much anywhere, and even things like google maps satellite view couldn't exist.
I’d wager this is a more common view than a lot of people admit. The mass murder, starvation, absolute disregard of international law, and basic human rights.
Tridge returns to rsync
Even more worrying after adjusting 2020 and 2021 values considering school closures due to the pandemic.
It's this: https://github.com/Elgg/Elgg

It's pretty long in the tooth now - it's pretty old! But there's an amazing community and new core team that still keeps it up to date.
The technology is an enabler and it creeps into everything and before you know it we are where we are today.
Quick search turns up with results to setup .NET runtime on FreeBSD without much hassle:

- https://forums.freebsd.org/threads/install-net-sdk-6-7-8-on-...

- https://www.freshports.org/lang/dotnet

And it is up-to-date, props to the maintainers!

I wonder if publishing for FreeBSD without one is problematic if you use either single-file JIT (trimmed, self-contained) executables or NAOT ones.

But given it's a server, such workloads generally favour JIT so it should not be an issue but I understand what you are getting at. With that said, it certainly doesn't seem to be as easy as `sudo apt-get install dotnet-sdk-8.0` but not as bad as building everything from source (which should not be too bad still, build.sh in dotnet/runtime does a lot of work for you to be able to just clone and build and the repo also has instructions for building for FreeBSD).
From what I gather Spaceship is a new company which provides similar services to Namecheap, but is actually owned by Namecheap, ostensibly to get a fresh start without the organizational cruft and tech debt they've accrued. Why they made it a new brand rather than "Namecheap 2.0" I have no idea.
Airlines are among the worst when it comes to this for some reason. I gave a talk[1] a while back about the problems that occur when programmers introduce logic around people's names, and a good chunk of my stories/examples involved airlines.

[1] https://www.youtube.com/watch?v=NfKhY3sAQ9E
My predictions...

"University profits by selling behavioural data and close contact list of students to advertisers"

"University secretly assigns students AI social credit score"

"Students face crushing AI generated bills for minor infractions and behavior like loitering, poor and minority students most affected."
I've been on Rinvoq since last summer and I delayed getting on it for that very reason. Reading the risks was really not making me feel well, after I've already taken multiple other medications. The worst part is, that it doesn't work as perfectly as some previous meds have. But at least I can enjoy eating out occasionally again without much worry and can travel again. That quality of life improvement puts it into a slightly better perspective again.
OTOH, you don't get room and board at a public school, and the facilities are much less complex (in terms of labs and other specialized buildings).
Don't the Palo Alto crowd send their kids to Harker?
> The total cost for installing full-height gates in just those 128 stations would be over $7 billion

54 million per station. I assume on average 3 lines in each station, maybe 8 doors per line?

$2.2M per door. That's just insane.
i was wondering too! Do you think it might be because of citing family as a source? I barely ever post here, so don't have a good muscle memory for norms and best practices.

(also both scared and curious of what might result from dropping below 0 karma)
@anthomtb, Oh I get it now! You’re right, and your analogy is better than mine from a physical perspective. A bike suspension really is just a PD controller with independently adjustable D coefficients, depending on sign.

Maybe it’s valuable to think of suspension pack-down and controller drift as the same problem, or maybe not. They have similarities, but they’re not the same problem. My thinking of the I term as preventing pack-down is perhaps the main justification for saying a PID controller is like a suspension. But, on a real bike, packdown is being solved by the spring (P) and tuning the rebound (D), and drift isn’t something that happens.
> Since we are not academics, I don't see why we're under obligation to do a comprehensive literature review, especially early on.

I don't think you're under any obligation, I just think that not discussing prior art is a bad look.

> What is significant about Xr0 is how it applies these old ideas.

I don't see anything new about the application of these well-known ideas either. Especially nothing that could explain why Xr0 would be widely used, while Frama-C is extremely niche.

> Xr0 is designed for programmers rather than mathematicians, so to us syntax matters a great, great deal.

Proving (the correctness of code) is an inherently mathematical task. So if by "mathematician" you mean someone who does mathematics, then all of your users will be mathematicians.
Until it's the German bureaucrats that ruin your day.

This is an international issue and a national answer doesn't solve it.

For what it's worth my first name is also not accepted correctly (it contains a hyphen) and I never had a problem so far. But every time an airline asks me to put my name exactly as in the passport I cringe.
I have a dash in my last name. Some airlines keep the dash, some drop it and my last name becomes Namename, some convert it to a space so it becomes Name Name. My passport retains the dash and is so far the only travel documentation that does so. Interestingly its never been an issue for airlines (even if travelling with Airline A that drops the dash and Airline B that converts the dash to space, on the same ticket as happened to me recently due to carrier A rebooking an oversold flight segment onto another carrier B). Even self service passport checks is fine despite the passport having a dash and all my flight bookings missing the dash. I suspect all the systems involved just strips all the special characters and spaces and compare that way. So instead of comparing Name-Name with Namename, they just normalise it to NAMENAME vs NAMENAME which matches.
Sound is much more important - even if you consider your podcast video first (in which case it’s not a podcast but that’s another topic) sound is more important. Take whatever smart phone you have and use that for the video and then spend any money you have for the camera and spend it on a decent mic.

People will watch lower quality video with good sound for far longer than they will watch good video with bad sound.

Source: listening to podcasts now for 15 years and grew my own to 5k listens a month across 100 episodes.
I think we can split hairs and nitpick this a lot but... Nowadays most often setup is that you join a VPN (a very isolated one), and you use it for the same purpose as you would proxy. But from your machine's point of view, you're using a separate network for your default gateway. Using proxy is usually more involved, and you can configure it in your application. In fact, you can do both and sometimes it makes sense (like using tor socks proxy over vpn).
Tethering is idiot expensive in USA. Every provider will DPI and block it or throttle it. It's awful.
Your last sentence is super true, but the audio interface is relatively unimportant. Even onboard headphone jack audio interfaces are 10x more than adequate. Main things to focus on (no pun intended) are mic placement and mic quality.
I guess this has always applied but it certainly sounds true today
In a similar vein, here is my very similar rant and a teeny tiny sqlalchemy plugin that deals with the grossness a bit if you're using python. Not entirely sure if it still works, was floored to realize I'd written this a decade ago! But the sqlalchemy API tends to be quite stable.

https://github.com/makmanalp/sqlalchemy-crosstab-postgresql
In Ontario, the Compulsory Automobile Insurance Act [1] requires that all owners/lessees of vehicles take out insurance policies. The Insurance Act [2] sets out that the minimum amount should be $200,000.

$200,000 is a much better floor than, for example, Ohio's $25,000. An Ohioan friend was injured by a motorist who had the minimum coverage. Her care cost more than that. The motorist who caused the injuries didn't have a lot of assets and she was unable to recover the excess from the motorist.

Still, there are some perhaps unintended downsides. Canadian rental car companies, as the owners of the vehicles, are obliged to provide $200,000 insurance as part of every contract. As a result, it seems there's not much market for them to sell excess liability insurance, and none do that I'm aware of. I, as someone who has plenty of assets to lose if I injured someone, would happily buy a higher liability insurance. Doubly so when I rent a car to travel to the US, since the terms of the contract are often "the rental car company will provide the minimum insurance required in the jurisdiction where the claim is incurred".

[1]: https://www.ontario.ca/laws/statute/90c25
[2]: https://www.ontario.ca/laws/statute/90i08
> If at some point we see a need to create more incentives for people to reproduce, that sounds fime to me.

But lots of evidence shows this doesn't work because no amount of incentives changes the fact that having a kid is a sacrifice. People need a reason to make such a sacrifice. And the decline of religion, nationalism, etc. with the rise in isolation, individualism, cosmopolitanism, etc. gives people few reasons to sacrifice for the future in the form of bearing children. Not that any of those things are bad or good, but they are the declining and rising trends in the world.

In fact, I'd argue as nationalism rises in the rich European countries this study profiled, so too do you see birth rates slightly rise
It is a canary in the coal mine litmus test for if you live in a free society or not.

It is absolutely a liberating force.

It's uniquely liberating right now since over half of all free/open sourced AI models have an NSFW or unaligned focus (nearly the majority in the diffusion model world).

Without the power of Waifus/booru websites ran by hentai aficionados, a solid amount of the generative AI revolution in the context of text to image models simply would not have happened.
This is why there's such a disconnect between people who have to commute to work and people advocating for your policies. You flippantly suggest something that would make another person's life much more miserable, and then when he protests, you handwave it away by saying that society will just be better and he'll live closer to his job.
Plight of detained US Binance staffer in Nigeria worsens after colleague escapes
The reason they don't is because it would not be cost effective, and their artists don't even want it. You need the artists to accept these tools first.
Combine them
Nope. Harker tends to skews new money and Asian American because it has an entrance exam (SSAT and ISEE), has merit based admissions, and gives scholarships if you have good grades and do well in the exam.

Old Money Palo goes to Woodlands, Woodside Priory, and Menlo School, or Palo Alto High

Lots of parents would buy houses or rent in crappy parts of East SJ to save enough money to sends both kids to Harker

The reason that new money (like me) tries to buy a house in Palo is so we can send our kids to PAUSD.

A lot of the born and raised crowd who were kids of hippies are fairly racist to the newer generation of Asian, Pacific Islander, Israeli+Eastern European, and Latino Americans on the Peninsula.

At this point I might as well buy a semi-rural house in San Benito County and spend the same amount donating a couple department libraries and Named Lecturer positions to my Alma mater for legacy benefits tbh.
"thinking" -> reporting??
From the article:

> The total cost for installing full-height gates in just those 128 stations would be over $7 billion, the agency found, and half-height gates would cost $6.53 billion. Once installed, the agency would have to spend more than $119 million each year to maintain the doors.
This isn't a response to the shooting, according to the article they had decided to implement it prior to the shooting.
I am a local, I both attended and worked at Michigan State. I believe that MSU needs to provide a value to students and employees with all this surveillance.

At Oakland University near Detroit they were named the second safest campus in America. Like MSU they have lots of cameras. But a student can launch an app and say I am walking from the library to my dorm please follow me. That students path will be monitored until they safely arrive. Students rave about the system.
Also, I enjoyed the similar Crazy Machines, that has more modern versions available: https://en.wikipedia.org/wiki/Crazy_Machines
Accidental hunger strike.
For whatever it’s worth, I have Aphantasia, and share your experiences exactly.
I believe that is answered in the link:
"Someone else mentioned the issues and limitations with our current brand and we want to try and move beyond that and I think we're on the right track"
Reminds me of a... peculiarity in Turkey. Men are required to serve a mandatory term in the military, but are exempt if they're homosexual. However, to prevent this being used as a loophole to evade service, the men in question must prove that they're gay.

This has resulted in the Turkish military having a very large collection of amateur gay porn.
People would be mad at the government for the exact same reason if they made selling cigarettes illegal.
I feel like blaming the lawsuits is a deflection. How many of those lawsuits were filed because the company refused to pay out in full or a timely matter? Sure there is likely fraud, but no way that is the sole cause of the increase in lawsuits.
I went through the Seattle program back in the days of the dinosaurs. You can “push for” anything you want, but those groups aren’t excluded, and in fact are sought after. A key problem is that nobody wants their child to be the lone minority in a class full of kids they can’t connect with socially.

All this bloviating by commentators is just chickens and pigs all over again. Much as those on the outside would like to wring their hands and describe high-minded ideals, the parents and children who are most affected by the situation are making rational choices.

But the optics are bad, really bad, and the reality on the ground is bad too. Go see who sits with whom in the lunchroom.
> This basically requires surveillance, no?

No offense but when were you born? Surveillance technology is relatively modern. What do you think the world look liked 50 years ago? 100?
You are paying some other people mortgage or your own.

The problem for some occupation like uk “junior” doctor you do not stay and hence it is a kind of investment to offset this (buy to let vs your rental place).

For one mortgage …

For second or third or fourth, it is a pension. As long as it is rentable …
Keep in mind the Consumer Price Index is manipulated in the sense different things are swapped in and out in order to get out the number they want.

That is, for (random) example, consumers didn't switch from beef to pork because their tastes changed but because beef became too exoensive. But swap out beef for pork and POOF you've lowed inflation. Yeah. But you've also lowered the broader quality of the goods in the index.

I don't think there is anyone I know who believes inflation is back down to 2%. Anecdotal? Sure. But perception is reality, especially in an election year.
I've been using AirVPN for a few years now, seems fairly trustworthy so far.