skysight-inc/HackerNews huggingface dataset:
> the code to SPARK and proving the absence or runtime error

I wrote Rob Pike's simple regex from the "Practice of Programming" in Ada/SPARK and it blew my mind that I actually managed to prove an absence of runtime error (guaranteed no overflow or out of bounds).
> ate you sure it is that? after all, we all independently use the Kelley Blue book value of a car before we sell.

That book doesn't price individual cars, only types and the price of the actual car is open to interpretation and usually negotiation.
The injured party may decide to receive treatment though a private facilitate and recoup the cost from the insurer.

Regardless, if I loose my leg through the negligence of someone else, paying for the amputation isn't going to make me 'whole' again.

you'd have to put a literal price on my leg.
Perhaps folks with a history of violence or dangerous behavior during sleep should have to lock themselves in or otherwise restrain themselves. Seems like a simple fix. Neglecting to do that before someone is killed could be manslaughter.
Does 21 actually automatically schedule fibers? to open cores?
> more gun crime equaling more surveillance

But if you're not listening for the guns then you're not going to find the crime that does happen, will you? It's either saying "we don't care about it because it's less frequent" (which is stupid—you still build a fire station in places where buildings burn down less frequently) or "it's easier to keep ourselves busy when we fish in a barrel".
i had the dell xps 15 and everytime the battery died dell would send out a repair guy to replace the motherboard. after 3 times I finally sold it and got something else.

this last time (2 weeks ago) i bought an hp envy 16" with nvidia gpu. things appear to work fine on arch but i have no audio and have no idea why.
Training GPT-4 is estimated at 50GWh [0]. Driving a pickup truck consumes about 30MWh per year in gasoline (13500 miles/year, 15 mpg, 33kWh/gallon). So, training GPT-4 is equivalent to driving 1000-2000 trucks for a year, or in other words gasoline consumption of small American town. Doesn't seem very high for a product used by 180m people.

[0] https://www.ri.se/en/news/blog/generative-ai-does-not-run-on...
There's an interesting control system feedback complaint with a lot to it;

* historically there's been a lot of "black crime" in the US due to the US police watching black neighbourhoods excessively and being absent elsewhere .. take this all the way back in time to Tulsa and before.

* Subsequently there's been a lot of "black crime" as neighbourhoods have been destroyed by occasional mobs (Tulsa), frequent division by freeways and toxic waste dumps, and the removal of many adult males to the prison system as a result of all the "observed crime" leading to an excess of young males with few prospects.

* Based on that data the modern survellience goes to where all the crime has been created^H observed.

Meanwhile entire areas of US cities get on by considerably less police present and oversight and a great deal less observed crime.
I'm staunchly against "rent control" in the form of capped pricing, and feel like I've been shouting into the wind for years describing rent stabilization measures like you're describing. It seems like something that nobody is discussing or has any interest in.

There are costs to both moving and to a lack of home stability that are ultimately born by society at large, but that are effectively negative externalities to the actions of landlords.
From the article:

> Conversations recorded by ShotSpotter sensors have twice been introduced as evidence in criminal trials. In one case the court allowed it, in another the court did not. The possibility clearly exists, and depending on interpretation of state law, it may be permissible for ShotSpotter to record conversations on the street for future use as evidence.
In principle 7nm has 57, 64 or 76nm gate pitch. Routing is quite inefficient in 57nm gate pitch, so 64nm is used most often. As far as I can see in the design rule manual there's no possibility for 60nm pitch. 40nm metal pitch for colored metals is correct.

Standard cell height pitch has a similar story, 270nm height is possible but means high parasitics induced RC delay. For good performance 300nm or higher height pitches are used.

These tables miss a huge context though. TSMC N7 drawn gate length is like 20nm, not 60nm. This pitch includes diffusion (source/drain) and contacts. Biggest limit is interconnect (vias are impossible to shrink as we make them now).
i just got an hp envy 16" -- its a bit heavy on the legs. but seems ok. did you manage to get audio working? I use arch btw ;)
TBF the usage is not saying it's legal online. They're saying the loophole is imaginary, existing in the minds of the colluders
Sorry for the late reply! Each new account starts with free 5 credits, after that the pricing options appear whenever you want to purchase new credits. The landing page was rolled up quickly without much information but you're right! pricing should be visible without the need to create an account. Thx for the feedback!
How come car insurance is so expensive in the US? In Europe it's vastly cheaper and the policies themselves are much better.
Show HN: Using GPT-4 to buy outfits I liked from movies and TV shows
In a nutshell:

1. I see so many outfits I like in shows, movies, F1 celebrity appearances etc., but I don't know where to buy those items, or they're too expensive.
2. Sometimes, I like the vibes of the outfit and I want to see similar items I can buy from my favourite stores.

So I made this Chrome extension that lets you shop any outfit via picture. It uses GPT-4 to generate natural language descriptions of the items in the outfit, then searches the web for them. It also lets you set your preferred shops, sizes and budgets as filters, so you can see only stuff you would actually consider buying.

Try it out if you're interested and let me know what you think!
Yea, though wages and rates vary enough it's worth looking at individual countries.

England is an outlier. Average wage works out to 44,252.67 USD (£34,963/year) vs US is at 70,248.63.

Average car insurance in England is 710.06 USD (£561/year) vs 2,545 USD in United States.
The number of claims over $100k are much less frequent, which is why it is cheaper to raise your cap.
Why is that shocking? It's not just laundering the price fixing, it's laundering the guilt.
It trivially can't do that forever though, or the entirety of the world's economy will consist of fees to your HOA.
Yeah, but in the future, I think we'll see our current dissatisfaction with content discovery the same way I see my pre-social media dissatisfaction with computer privacy.
There's an XKCD cartoon in that vein. Best to get it in print somewhere but getting information onto what is a plausibly credible source is better than nothing with respect to getting it into Wikipedia via a citation.
I wonder how complex a cheat code system you could make - resilient to decompiling and examinations.

I’m thinking things like the code itself is interpreted as a memory address/jump and most do nothing or crash …
David Remnick, Host: "A lot of these guys, you meet with them and they don't just know what they know, they know everything." [Using Andreessen as an example.]

Kara Swisher, Guest: "That's correct."

Remnick: "And everybody else is stupid."

Swisher: "Mm-hmm."

Remnick graduated from Princeton, summa cum laude.

Andreessen: U. of Illinois, Urbana-Champaign

It's like, "The more money I have, the smarter I become."

Not quite.
I Learned to Stop Worrying and Love Insecurity
you're completely disconnected from reality if you think that karting is affordable or accessible to the majority of the middle class.
Everything works except the HDMI port on Linux, so I can't use it as a monitor (haven't tried it on windows). Also got a Lenovo Wireless Keyboard and Mouse combo to go with it, basically a monitor sized laptop.
Apache 2.0, the beauty of open source. Nice.
> It just says a signal if there is a loud noise in public.

This is probably false. There have been two convictions as a result of recordings of conversations that happened through the devices.

I, for one, do not want microphones capable of recording my conversations placed near me by the government. Not because I'm paranoid the government is conspiring against me, but rather because I have zero confidence they're storing those recordings securely, being handled by only authorized persons, and being deleted within a timely manner.
There are many entities out there crawling and scraping the web in non-compliant ways.
I think the average cost per year per person in my country is 1500€, so it is actually way cheaper than what i expected for the US.
NestCB: Cost/benefit tool to decide where to live
I don't know the exact calculations but people in Europe have nationalized healthcare, more easily lose their license, drive less, and generally have smaller and cheaper vehicles.
> cowsay (which is not a startup).

True, but just wait until we unleash the first CaaS (Cowsay as a Service) on the world in a few weeks...

We're going to make a gazillion dollars! I can feel it.
Is it collusion to go to a rental search site and survey the asking rents, then asking similar for your property, knowing that your competitors are (probably) doing the same?

Is it collusion when a gas station manager drives around the neighborhood, looks at the competitors posted price for gas, and sets his prices the same?
> Every 12 months, tenants will receive a notice of pending rent increase, and that rent increase will be the maximum allowed by law.

I'd suggest having no maximum increase, and having the landlord be liable for moving costs if the tenant chooses to move and the landlord is not able to re-rent the unit within a short time period at the increased rent price.
> just because someone thinks they never had covid, it might not be true.

Definitely true. But there are some people who have been very careful and/or tested multiple times with every illness in the last 4 years, and who are fairly certain they have not had COVID.
Meliorism
Some shareholder benefited a lot. Some bought at the top and have only had negative returns. Some have a net zero cause the bought at this point on the way up.

Just because some people have astronomical returns doesn't mean everyone received the same.
That’s because it’s generalized surveillance tech marketed to the public as personal safety tech (which it is not per the data)
I remember my grandfather speaking of Heil kind of like he spoke of Feynman.
> I like people. People are the best thing about being alive.

You should meet me, you'd change your mind pretty quickly.
Yes! Buying your own home is the ultimate form of rent control, even though property taxes increase over time (and its even worse in CA with prop 13). Very unfair.

If we wanted to make the market fair, we would disallow home owners all together. This effectively happens for most people in some places in Europe. Also, I heard of some places in Europe where if you own your own home, you have to pay some extra tax vs. what you would have paid in rent. I think Switzerland? They also had some form of rent price control, although this just made it really hard to rent an apartment even if you were willing to pay more. These are fairly complex systems that all give advantages to existing residents (so moving to Europe for two years to do a post doc is much harder than it would be if you did that in the USA).
Genetic data is misleading; it only means that number of people had surviving descendants. It's entirely possible that the population never dropped below N, but one particular tribe gradually became dominant and genocided everyone else. Remember that endogamy is the default!
This is a thinly veiled marxist-style call for collective class action. Aka unionising. I think it’s more dignifying to assume that ppl are capable of judging for themselves whether the solution to a shitty job is getting high, or quitting- without the socialist indoctrination, which is designed to benefit the political leaders who try to galvanise revolutions. Those revolutions typically devolve into unhinged violence, because they fabricate a narrative of anger.
I'm a technical audience. I'd love to see a technical explanation of what their device is. This video is just "an anode" and "electrical power," which basically just sounds like a Farnsworth Fusor. Those are neat toys but not useful for a sustained fusion reaction.
> Recycling plastic isn't real, it's a greenwashing campaign by petroleum comp

Who mentioned plastics .. that's correct, you did.

> This is exactly the sort of pro-corporate nonsense that I'm talking about here. Fossil fuel extractors should be forced, not asked, to pay, not get paid for the damage they are causing.

Have you read the report yet?

> You're literally proposing we reward these companies for the harm they cause

Did I? I have to ask, is english your first or third language?

Rage on my friend, fight the power .. and work on your conversational skills, launching in with heavy handled accusations based on your own assumptions won't always get the results you might desire.
Thanks for pinpointing it. There was something about this I just found offputting. Like the author's trying too hard.

Interestingly enough, I'm finishing up an article about open office plans and return-to-office, and I realized that the people who decide these things are overwhelmingly Extroverted, in MBTI terms. They think those Introverted types who like some private space to think need to be dragged out into the open where they can Communicate.

There actually are scholarly articles about which MBTI types should be leaders and managers. I won't burden you with them here.
Sadly, _Canticle_ and _Alas, Babylon_ have made it impossible for me to relish any other post apocalyptic novel set in the time of diminishment.
You need to have some residency control for that to work. Otherwise, everyone would just flock to the most popular cities for their discounted apartment. This also works in Singapore, but only for qualified residents.
What if there are multiple vendors selling algorithms?
Open source bots doing this?
How many bots is a collusion?
Yes, give families the choice. Some will choose a lower price with less stability (like me, a single dude). Others will choose a higher price for long-term stability (such as a family of 5).
Step 1: generate uuid. Step 2: encrypt customer data. Step 3: associate encrypted data with uuid; keep uuid in encrypted if metadata. Step 4: use uuid instead of data.

Obviously there are potential hiccups. But a lot of good can be done with encryption and metadata.
Fair enough. My previous statement was incorrect. Edited above.

I understand the hypothetical case they could be misused but I'm still not aware of any cases they actually were.

>On June 8, 2007, the Shotspotter acoustic gunshot detection and location system recorded two gunshots from the corner of 83rd Avenue and Birch Street in Oakland, California. The first one, at 11:10:22 p.m., was at 8236 Birch Street, and the second one, 24 seconds later at 11:10:46 p.m., was at 1775 83rd Avenue. Those addresses are less than 10 feet apart. The recording of the second shot also captured the voice of Tyrone Lyles, apparently addressing the person who shot him: "Ar, Ar, why are you going to do me like that, Ar."

I am happy shotspotter helped in the prosecution of this person who needlessly killed someone. I realize there could be ways to abuse this for things having nothing to do with gun violence, but you could also say DUI traffic stops or DNA collection could be misued. That doesn't mean they are misused.
If this lawsuit is successful, would renters have standing to sue for damages? And how far would the liability go, just their landlord + RealPage (who is probably bankrupt by that point)? Or would everyone who colluded to keep prices high be liable, possibly even to renters whose landlord was not part of collusion but rents in the area increased due this?
Most of what he is complaining about are regulations, which has more to do with a free or a closed market economy rather than the ownership and investment into the production mechanisms
Yes. New Zealand.
Did Google, Facebook, and Amazon Endorse Jim Crow?
I'm not surprised: in the U.S., regional dialects or accents are often the subject of mockery or disdain.
For exploring data, plotting data, and fitting complex models like GLMs and GAMs, using R is essentially as fast as thought at this point.

So if you have tabular data, it’s a no brainer to use R.

Getting the data into table form is often better suited for python. Fitting models that leverage autograd are also better with python.
> her friend, who was later tested positive, was 10-15 minutes away

Is "minutes" supposed to be "meters" or something else?
Today's high energy physics is at an energy some eight orders of magnitude higher than the temperatures in fusion plasmas. That's a larger ratio than between fusion plasmas and room temperature.
I believe that some people will do things surprising to me when it means money for them or their organization.

A recent case in point are the people in charge of the Harvard medical School cadavers who sold the organs on the sly, but you could probably find other examples of cases where monetary incentives distort what we were consider commonplace values
I wish that was the headline, because then Miraheze would be notable enough to get an article on Wikipedia. At this point those of us on the board would even like bad press over no press at all.

Shameless plug: miraheze.org offers free, ad-free wikis offered by a charitable foundation.
Climate change could spread geographical risk of getting parasitic worms
It's pretty hard not to have _some_ capacity to have puddles or pockets of some sort. If nothing else, you can have infiltrates and cavities in rocks or ice, or pools/puddles/lakes on top of frozen areas.
Why should there be?
Because it is unequivocally making people unhealthy at an enormous scale. It is the scourge of the century. We shouldn't wait until we have it all figured out if we know it's causing such wide scale damage.
Methodology makes all the difference in those cases. Artistic output is an extremely complex psychological process and we haven’t comprehensively identified its components. It’s possible that some aspects of the creative process can show a limited benefit from cannabis, as long as they can be isolated from the negative effects.
There is a lot of confusion between position, velocity, and acceleration when discussing these things. Prices have decreased is different from price growth has decreased, and even the rate at which prices are growing has decreased.

> My take is that the atmosphere doesn't give a shit about the rate, or which specific countries are curbing what.

The atmosphere doesn't care period. In the long run, the Earth will recover from whatever we throw at it, humanity just might go extinct earlier than expected. But at the same time, you can't tell people in the developing world that their lifestyle isn't allowed to improve because we need to save the planet. Some fairness is needed. So emissions are going to get worse before they get better, and hopefully they start getting better soon enough.
I hear Lenovo Thinkpads are quite a standard
> I only meant the risk of the first exposure is much, much greater than subsequent ones.

I have heard of some people whose second case of COVID (Dec 2023) was significantly worse than their first (summer 2022). This might be due to the amount of time since last vaccination, or the amount of exposure to an infected person. But I was interested to hear from a couple friends that the second time isn't always lighter than the first.
It's very amazing that TCC built with GCC is three times as fast as Pascal or Go, whereas direct use of GCC for compilation is nine times slower than Pascal or Go.
That article was written in 2018, since then they have been trashing on a retired admiral: Timothy Gallaudet. They have been disparaging David Grusch, who spoke under oath to the American congress and have undone the work of Nobel laureates trying to edit pages about physics. And yes, they are dominating, a team of editors will beat out an individual contributor on Wikipedia. I don't really care about their position, but they are an open conspiracy, and it's an interesting story.
Safari 15 iOS Bypasses Proxy.pac
Finally someone who has thought through the problem and come out with the right solution. Great stuff
I used to work with extremely sensitive data. My employer made it a point to hire people with memory disorders and intellectual disabilities to deal with raw data.

There was a young lady I had to reintroduce myself to every week or so. I think of her every so often.

I’m certain she doesn’t think of me.
I use mods, their chat gpt cli thing, it's among the best I've found for my use case (forwarding the output of commands to ask questions about the next step)
I think the only reason this should be surprising is that we've let it be the status quo for so long, despite being pretty obviously illegal. Nonetheless it's good that the FTC has explicitly made a commitment to start enforcing the law
It's an interesting area because the line might be fuzzy. It's not reasonable to expect every landlord to become a data analyst or statistician!

So naturally there's a market for a product that helps landlords make data-driven pricing decisions. I'm sure the big landlords know exactly what they're doing, but I suspect that the smaller landlords don't even realize they are participating in a price-fixing cartel.

As an interesting point of comparison, consider that the Zillow "zestimate" is also an algorithmic price recommendation, shared by all market participants. What's the difference there? Is it that buyers and sellers can both use the same algorithm freely?

I want to make very clear that I think price-fixing is bad and that I believe extremely high real estate prices are at the root of a large and growing amount of misery in Western economies and societies. But I'm also cautious of pursuing thoughtless regulation that hurts small businesses, to the advantage of the big businesses that are causing all the problems in the first place.
Sounds like the reporter should keep digging. You don't threaten someone for no reason...
Well it is not just polynomial multiplication, because polynomial multiplication has xy = yx whereas the geometric product has xy=-yx for orthogonal vectors and xa=ax for parallel vectors.

Actually the thing that is "just" polynomial multiplication is the "symmetric" product, defined as a×b = a⊗b + b⊗a and extended to be symmetric on all arguments in larger products. It obeys eg xyxxy = x^3y^2 for all factors without anything cancelling out. The geometric product, on the other hand, is some weird intermediate operation between the symmetric product and the antisymmetric product.

But again, the complaint is that the geometric product of two multivectors doesn't have any geometric interpretation. It is just a thing you have to deal with. Whereas in polynomial multiplication, and in exterior algebra, every single intermediate object means something. For instance in a polynomial like abc^2 you can talk about objects like (abc) and (bc^2) and (c^2) and assign meaning to them. In a geometric product like abcc you can't assign any meaning to any of the objects (except for cc = |c|^2) without knowing more about them. So it is uniquely un-meaningful out of the objects you can do vector algebra with.
Trade associations basically have a long list of things at the beginning of every presentation that lay out the rules for why this isn't collusion.