skysight-inc/HackerNews huggingface dataset:
Suburbs don't have this problem, there is plenty of parking automatically since people have more space there.

I've started to notice that all the car problems are just in dense cities: Nowhere for kids to play, noise, lack of parking, cost, safety, etc etc.

None of those issues exist in suburbs and rural.

(PS. They don't need more parking just because they have larger units.)

Once the city is dense enough then it's all mass transit. If it's not dense you use cars and there is no trouble with them. It's those cities right in the middle that have all the problems.
Jon Gjengset has a good (~3h long) video going over a lot of this and more.

https://www.youtube.com/watch?v=pMiqRM5ooNw
You can implement a weaker version of this in any language that has either destructors or finalizers. Have every linear struct contain a private `was_consumed` field, false by default. Every method that consumes such a struct should set that field to true. If your language doesn't have single-owner references, such methods should also panic if the field is already true.

Depending on how closely you subscribe to the "let it crash" philosophy, your destructor should do anything from writing a log to outright panicking and crashing your program when encountering a false value. You can even put all of this under an #ifdef so that it only runs in debug.

This isn't as good as actual linear types, as errors will only appear at runtime and only for the code paths you actually hit in development, but it's better than nothing.
Why did this ship have 5-way redundancy in electrical power generation, yet zero redundancy with propulsion?

I understand power is more important, but even so, isn't 5x redundancy overkill? Wouldn't they have been better to switch out 1 of those diesel generators for a 1000 HP propulsive engine, allowing the ship to limp home at 2 knots if the main engine fails (speed is very nonlinear with power)?
Show HN: I Built an AI Voice User Interviewer
As a founder with background in user research, I was skeptical at first if an AI voice interviewer would really work. After testing and iterating with hundreds of live users of consumer and enterprise apps—the conversations have been super insightful.

It will never replace talking live with your users but it will be 10x more insightful than surveys with the same scalability.

Try out the live demo and let me know what you think
No, same people with the same name.
> The web should run on Dart right now but Google fumbled the ball.

It's clear you didn't see the fervor around this around a decade ago [0][1], as it was universally panned as a move that would only strengthen Google's browser monopoly (as if sites started using more Dart, other browsers would have no choice but to add in Dart support). Personally I am very glad that we don't have a built-in Dart compiler in the browser, compile to JS languages are more flexible and now we have an even more robust and even-handed solution in the form of WASM, as now any language can compile to an open standard, not just Dart (which also has WASM support now).

Another argument in favor of not having Dart in Chrome is allowing its development to be much more flexible, as this article shows, rather than being hampered by the standards committee [2].

[0] https://news.ycombinator.com/item?id=3600874

[1] https://news.ycombinator.com/item?id=9264531

[2] https://news.ycombinator.com/item?id=40355071
Definitely not. Neither Face ID nor the recently added “screen distance” feature in Screen Time use the camera indicator, and both use cameras (and lidar scanners) continuously
To me this looks that for ~90% (eyballed) you just need to tell your browser somehow to stay away from any port other than 80 or 443. If some script/link-rel/src attrib points to a non-http(s) port just pop a warning to confirm you're ok with it. Is there a browser today with this feature?

Or go wild to neuter your browser and configure your firewall to allow only dst ports 80 and 443 for mozilla/chrome/edge/etc.

Also curious what are the performance implications for adding to your firewall
about 2 million IPs or maybe a couple 100k if you're brave to do ranges.
America's biggest energy scam is happening now
Couldn't a company like that get a huge tax benefit from the SRED program?
My experience differs greatly, company I used to work for did NDA, alpha, beta projects with Google. I was always impressed at how little anyone knew, the fact that nothing was delivered on time, scope creep to the point of almost everything being delayed and most projects were not well thought out nor well architected. I warned one API update would break things if it went live, and it did. Why was the guy from another company the only one able to see that? I’m sure they were working hard at something but it wasn’t ever clear what.
> About all I need are tabs and bookmarks and a history and thats it

I'm impressed you don't even need a HTML renderer component and all that comes with it.
If Karpathy and Illya join xAI, that would be a fun trajectory.
I don't understand these kinds of leadership/management. What they want clearly isn't a tech company. They don't want technical wisdom, insight, nor vision. Why bother hiring in-house SWE's at all?

They should just stick with consultants and contactors.
Sometimes popular domains like drive.google.com get added, and at other times some domains are just that popular to reach a TRANCO rank of 20,000, so I generally advice against blocking using sources like URLhaus.
Framework laptops have physical power switches for camera and microphone. The devices completely disappears from the OS when the switch is moved.
A friend of mine built speakers that ionized the air and then used some mechanism (electrostatics? voice coil?) to move the air directly; kind of a coneless speaker. It didn't get that loud and made a lot of ozone.
Maybe I’m missing something, but in the context of housing+parking, what is the market failure that requires the excessive minimums? VS letting the market solve the problem? Seems like a developer has an incentive to provide enough (and only just enough) to sell/rent the new units. If there isn’t enough, people will look elsewhere.
I don’t think people give Dario enough credit
Google originally used back links in the equation; where the goal is to take the information by editors on a massive aggregate to rank.
Brilliant until gamed.
The simplest method, omitting the type checking that would be required to verify that any ‘usage’ pre-destruction, any time the type checker encounters an expression that creates a value of linear type the ID (in whatever representation the compiler uses) could be stored in a list of linear object, then when the explicit destruction function is called on a linear object that ID is removed from the list. At the end of compilation (or more likely type checking) if the list is not empty the programmer clearly did not destruct some linear object and an error is issued.
The Canadian Dream is to get a great education and then move of the US.

You might want to blame the government or this or that but I think as a Canadian I've finally come to reckon with the fact that it's just not in the Canadian ethos to do risky things like make startups. Of course there are exceptions to the rule but they are very very rare. Canadian investors don't want to take big risks and the Americans are just next door waiting to gobble up the talent in search of capital.
Not really a thing in CA, largely unenforceable.
Might still be enforceable at this level.
I have a few intersections near me that desperately needed to have the lights added but only for busy times of day. At night it can take 5 minutes to get through a battery of lights even with virtually no traffic.

I suspect choosing not to flash them at night is some combination of people not really familiar with that system getting potentially confused and (these are somewhat complex intersections) others just getting careless rather than carefully checking, at night, all the directions that traffic could be coming from.
Mono-repo, mono-language, and really enjoying it - enables much easier refactoring and using a single strongly typed language makes lots of issues go away. We do have a few other repos for open source projects or libraries we publish, but the majority of the work is done on our mono-repo.
I have no idea! This is the first I'm hearing of corking, so I don't really know how it behaves in reality. It certainly seems pretty close to what I was talking about at first glance.
You clearly don‘t know what you are talking about.
Where does the article say she can no longer view her own file?

Disclosure: I work at Google, but not on anything related to this.
Why not get rid of parking minimums and let the market sort it out?
It was the animated series, if anyone else is like me and could not for the life of themselves remember a holodeck in the original series (Thanks Memory Alpha!).
You’re right, I misread the following lines
That won't protect from outrage, as inevitably something really bad will be exposed to be on your service. You'll have to either defend keeping your position or creep up surveillance on user content to avoid a similar thing to happen.

Users, regulators, investors etc. all want different things that are mostly incompatible, and you're bound to piss some and please others to varying degrees.
The amount of paperwork involved makes it unworkable
You want it if you yourself use the iPad for more than just watching Netflix, and you ever hand your iPad to your child without locking them into a single app using that feature.

Otherwise, they can do things like delete incoming chat messages you haven't yet read, delete any/all notes/photos/ etc, and a hundred similar things — and in many cases, it's easy to do accidentally.
Chuck Berry sez, "Roll Over Beethoven" !
In the actual history of the world, we mostly have had monarchies. In terms of actual "sustainability" I don't think any democratic government has surpassed the longest peaceful period of a monarchy yet. I could wrong.
Shouldn't the model reflect how it looks on video rather than our naked eye?
How the 'Harvard of Trading' Ruined Young People's Lives
https://archive.ph/uaEmG
Brussel sprouts at restaurants are basically candy lol. Yeah they're roasted and crispy and cooked with bacon fat and usually some sweet sauce added lol.
Inference - you can distribute much better than training. You don't need specialized interconnects for inference.

The question was:

> > There is probably a simple answer to this question, but why isn't it possible to use a decentralized architecture like in crypto mining to train models?

> Can you copy a neural network, train each copy on a different part of the dataset, and merge them back together somehow?

The answer is flat out no.

It doesn't mean parallel computation doesn't happen. Everything, including single gpu, is massively parallel computation.

Does copying happen? Yes, but it's short lived and dominates, ie. data transfer is bottleneck and they go out of their ways to avoid it.

Distributing training in decentralized architecture fashion is not possible.
Do you have any sense regarding how helpful tcp_autocorking on Linux is (or isn't)?
They didn't fire "large parts" of those teams, the only people let go were infrastructure engineers for those teams (and they were outsourced, so headcount remains the same overall), they're not the core devs of Dart or Flutter.
https://archive.ph/Ar7tP
Time to go back to Yahoo! search engine with manually added and verified links. Automated web crawling experiment has failed. Anyway, whatever I search, I end up in either reddit or wikipedia (incidentally, both are human-curated stores of knowledge).
SGP41 requires an external humidity sensor for its algorithm. BME688 has an internal humidity sensor.

SGP41 algorithm is open source, BME is closed source, requires you to link a binary during compilation.

In theory BME can sample additional gas profiles (programmable heater waveform), in practice it's useless.

I agree that the SGP41 has better sensitivity, and also faster response and better stability.
With great advantage comes equal disadvantage, I wonder what the side effects are?
It seems to be pretty common in the maritime industry. There were crews stuck on ships for months during the pandemic.
You haven't seen the promotion of the use of LM AI for handling legal documents?

It's purported to be a major use case.
You are correct, thanks!
> This is done if at least one prior packet for the flow is waiting in Qdisc queues or device transmit queue.

It should be 'or was sent less than rtt/2 ago'.
Considering expanding a SwiftUI card game to Android
I've developed a UI-driven card game app for iOS using Swift/SwiftUI, and it's been well-received. Some people are asking for an Android version. Currently, our project is in the early stages with no funding or revenue, but we have several letters of intent that could lead to funding.

My skills are strong with SwiftUI, moderate with React Native, and I don't even own an Android device. I'm willing to upskill in RN or Kotlin/Jetpack Compose if needed.

I'm at a crossroads and would appreciate some perspectives about my options:

1. Continue with iOS-only development and focus on adding features until seed funding
2. Switch to cross-platform development, probably React Native or Unity
3. Start a parallel project for Android using Kotlin/Jetpack Compose

I'm not looking for someone to make the decision for me but I would appreciate some perspectives. I've seen a lot of debate about native vs xplat. I'm personally inclined to just continue with iOS dev as Android version requests seem like a happy problem to have (and tangible evidence that there is interest in the market).

I'd love to hear from others who have faced similar situations. What factors affected your choice? Any regrets or surprises?

Thanks!
I can see what you mean, and that the video is somewhat not what it would be like in real. I have lived in northern Norway most of my life, and watched Auroras a lot. It certainly look green and link for the most time. Fainter, it would perhaps sorry gray I guess? Red, when viewed from a more southern viewpoint..

I work at Andøya Space where perhaps most of the space research on Aurora had been done by sending scientific rockets into space for the last 60 yrs.
My understanding (as a data engineer with a MSc in experimental particle physics a long time a ago), is that the math representation is structurally relatively similar, with the exception that while ML tensors are discrete, QM tensors are multi-dimensional arrays locally but are defined as a field over continous space.

Tensors in Physics are also subject to various "gauge" symmetries. That means that physical outcomes should not change if you rotate them in various ways. The most obvious is that you should be able to rotate or translate the space representation without changing the physics. (This leads to things like energy/momentum conservation).

The fundamental forces are consequences of some more abstract (at the surface) symmetries (U(1) x SU(2) x SU(3)). These are just constrains on the tensors, though. Maybe these constraints can be in the same family as backprop, though I don't know how far that analogy goes.

In terms of representation, the spacetime part of Physics Tensors is also treated as continous. Meaning that when, after doing all the matrix multiplication, you come to some aggregation step of calculations, you aggregate by integrating instead of summing over spacetime (you sum over the discrete dimensions). Obviously though, for when doing the computation in a computer, even integration reduces to summing if you don't have an exact solution.

In other words, it seems to me that what I originally replied to, namely the marvel about how much of ML is just linear algebra / matrix multiplication IS relatively analogous to how brute force numerical calculations over quantum fields would be done. (Theoretical Physicists generally want analytic solutions, though, so generally look for integrals that are analytically solvable).

Both domains have steps that are not just matrix multiplication. Specifically, Physics tend to need a sum/integral when there is an interaction or the wave function collapses (which may be the same thing). Though even sums can be expressed as dot products, I suppose.

As mentioned, Physics will try to solve a lot of the steps in calculations analytically. Often this involves decomposing integrals that cannot be solved into a sum of integrals where the lowest order ones are solvable and also tend to carry most of the probability density. This is called perturbation theory and is what gives rise to Feynmann diagrams.

One might say that for instance a convolution layer is a similar mechanic. While fully connected nets of similar depth MIGHT theoretically be able to find patterns that convolutions couldn't, they would require an impossibly large amount of compute to do so, and also make regularization harder.

Anyway, this may be a bit hand-wavy from someone who is a novice at both quantum field theory and neural nets. I'm sure there are others out there that know both fields much better than me.

Btw, while writing this, I found the following link that seems to take the analogy between quantum field theory and CNN nets quite far (I haven't had time to read it)

https://maurice-weiler.gitlab.io/cnn_book/EquivariantAndCoor...
The usual theory is that developers would underspec the number of private parking spaces relative to residence requirements (and of course residents and requirements can change over time). Common parking would then be oversubscribed including for residents/visitors in the area who don't have private off-street parking.
That is totally incorrect which anyone who have seen real northern lights can attest to. I'm sorry that you haven't gotten the chance to experience it and now think all northern lights are that lackluster.
> There is more money in AGI than LLMs.

That doesn't matter, they know how to do LLMs, they don't know how to do AGI. To modern capitalists that means you invest in one and the other someone else can do.

OpenAI was exploratory until they found something that could make them rich, then they went closed and for profit, now you should see them as just another for profit.
Nothing impede you from telling it to keep the answers short via a pre-prompt
ImageFX fails at both of my tests:

1. Generating an image of "a group of catgirls activating a summoning circle". Anything related to catgirls tends to get tagged as sexual or NSFW so it's censored. Unsurprising.

2. The lamb described in Book of Revelation. Asking for it directly or pasting in the passage where the lamb is described both fail to generate any images. Normally this fails because there's not much art of the lamb from Book of Revelation from which the model can steal. If I gave the worst of artists a description of this, they'd be able to come up with something even if it's not great.

Overall, a very disappointing release. It's surprising that despite having effectively infinite money this is the best that Google is able to ship at the moment.
Alcohol is a solvent.
Looks like the whole ship power system was designed to be multi way redundant, but not to provide continuous power.

Makes perfect sense for dealing with issues that occur mid voyage, where you can send someone below deck to mess with circuit breakers for 20 mins to get everything going again.

Doesn't make sense in port where loss of steering or propulsion will lead to a crash.
I wish more companies would have interviewees conduct code reviews. Code reviews as an interview show a number of things you wouldn’t get from a typical interview—what opinions they have, what are the things they call out vs what they don’t waste time on, how they might communicate with another teammate, and more. And if we’re going to a world where AIs do much of the work and we just need to check that they implemented what we intended, those code review skill will still be highly relevant.
If you are running Windows 10 with secure kernel, driver guard, among others, this features require Hyper-V.

Secondly Windows 11 doubles even more on having Hyper-V running for even more security capabilities.

I also think the future is type 1 hypervisors, and in regards to performance, my computers are beefy enough to hardly notice any major impact.

As for Linux configuration problems, business as usual, there is always something that needs hand holding, and I have been using distributions since Slackware 2.0 in 1995's Summer.

I also mostly used Virtualbox only when not allowed to use VMWare products, due to cheap project delivery conditions.
Indeed. Many things we know about learning and scholarship are rendered academic by the university system.
Incorrect, he led a recruiting battle for Ilya: https://www.youtube.com/watch?v=7nORLckDnmg&t=75s
10B$ says you're wrong.
Just based on current energy usage never going to happen. You just have to ask them to show you their energy bills alongside their demos.
Maybe the majority of Canadians think that having great higher education institutions and thr people who work in them is a good fit for their way of life, but having Silicon Valley companies and people making SV salaries around epuld make their lives worse? If so, this is great: Canadians don't want to live with the tech crowd, so they provide them with the skills so they can move elsewhere, make their dreams come tuee, and not bother the majority that don't want their presence.

NB some actual Canadians in this thread have voiced this possibility.
Yes, I miss Stadia so much. It was the most innovative streaming platform I had ever used. I wished I could still use it. Please, Google, bring Stadia back.
Because people park on the street by their neighbors. So if most houses provide parking, but some don't, they end up free-riding on the neighbors.

It's a tragedy of the commons issue, which is something the free market is known not to be able to handle.
I use Bank-ID on a 2014 Samsung Galaxy IIIneo running LineageOS as well as on a Galaxy Tab 3, also running LineageOS. I also use it on a Xiaomi Redmi Note 5 running a lobotomised stock distribution. None of these devices have Google services installed, all have root access using Magisk. These devices range from Android 7 (the tablet) to 11 (the Galaxy SIIIneo), i have no data on more recent Android versions.
Ilya cares about AI Safety and AGI. Meta's whole positioning is to dismiss it. No way he goes there.
One might even go so far as to say people enjoy being outraged. For the moral superiority.
I replied to your question here: https://news.ycombinator.com/item?id=40363387
The idea is to fully disconnect the faulted element from the power system.

In particular with transformers, you don't want it backfed from the low voltage side if the high voltage side is isolated.
This was done quite quickly after the KAN paper. Nice work. It's especially exciting to think that there are novel and useful NN architectures.

It's interesting to think about how much faster KANs might develop into mature systems compared with the original perceptrons.
Note that a bunch of commenters suggested reverse thrust was used after the power failure which caused prop walk which turned the ship into the bridge.

That appears not to be the case.
You can by providing the link to any Twitter "unroll" app. Here you go: https://threadreaderapp.com/thread/1790280109280379116.html
Automated scraping of Instagram stories, can you recommend any solutions?
Hi! I would like to implement a social listening of Instagram stories for the personal CRM product. With it, users will be able to set up filters and notice the most important posts from their network (e.g. somebody needs help, calls for a meeting, etc.)
I'm looking for the ways to set up the listening of a person followings' Ig stories. Do you know any feasible solutions?

Few clarifications:
- we can ask the user to synchronize/log in to their Ig account, the process doesn't have to be anonymous;
- we don't have to listen every profile by default: it's fine setting the listening for particular social handles;