skysight-inc/HackerNews huggingface dataset:
> "the precise meaning of the lock icon."

I don't think many people need to know "the precise meaning" for it to be useful/meaningful. We've taught everybody that "the lock" needs to be there for it to be secure. So many times we've said, "if there's no lock, never ever ever put in your password or payment info, etc."

Now that we've spent the last 10 years of corproate security awareness training pounding into our users' heads that "if you don't see the lock icon, it's insecure," now we get to explain that the opposite is now true.
Hillel Wayne
I don’t think the (us) government is lending to the banks, it is already on close to trillion dollar deficit, if anything it is borrowing from banks.

“People” in my comment includes groups of people too (eg companies, governments). Shouldn’t one be able to set the price of borrowing, why we must have one party deciding for everyone else.
Interesting point, true.

These days you can control the charge direction from Android, that may work. On my phone, I can also use Acc (and AccA) to limit charge current/voltage, and possibly stop charging (I have to check whether it cuts the connection). Advanced charging controller requires root, though.
If it's possible to use both approaches without cluttering your API, that may be the best solution. I know a lot of more junior devs that have a difficult time wrapping their head around expressions in C#. Excellent library!
Formalmethods – Formal Methods – Lobsters
Are there any plans to make this available to non-enterprise customers?
> No one can show me where Gavin and Proud Boys was started by any [far] leftist or involved any far leftists.

Nobody is claiming this. It seems like you didn’t read the comment you’re replying to.

> Antifa is about anti fascism.

And the Democratic People’s Republic of Korea is a democratic republic run by its people. Sometimes things have a meaning that goes beyond how they would like to be perceived.
Design by Contract: A Missing Link –. – Eiffel Liberty
it sounds bad

but it's pretty common in any multi USB-C port laptop

and most times the intuitive port usage will anyway be the right one

Like most external devices don't benefit in a notivable degree from USB-4 over USB-3.2. The most common exceptions are expanders, docks, monitors with integrated docks, eGPUs and similar.

But most of the you would normally anyway prefer on the back ports to get the cables out of the way.

Where the front ports are more often used for input devices, usb disks and similar. But they very very often yield the same practical performance on USB-3.2 and USB-4 (not always, but _really_ often).

So yes for some people which want 4 USB-4 port or 2 USB-4 ports and a HDMI port and a charging port and are not okay with the charging cable being on the front right port.

But the huge majority of people will not care.

And there are limitations with what the different laptop CPUs can support so it's not that they could just have magically added additional USB-4 ports or give DP support to all ports.
I used to believe that, but no longer do. Private industry can build rockets, self driving cars, LLMs and other hugely expensive things. Academia can't. What are these huge risks that academia can take that private science won't?

Also, lately it feels like there's a huge misinformation problem created by public sector science. Viruses leaking from labs is only a tiny fraction of the problem and that's already bad enough.
It's a shame.

There are a lot of popular requests from users in the suggestion platform (bulk data management! Erase the data of users who leave servers ! Proper 2FA !!!!)

And Discord keeps implementing what no one asked for (they just designed a proprietary font that looks like any other font. And now they do that ???)

Also, I liked the current name. It allowed you to have the most generic name so that you're not tracked on the web (which is nice as a large part of the community is young LGBT adults)
Now you will stand out if you do that.

Discord is among the leading companies when it comes to ignoring users, and feeling empowered because you own the platform.
That's not really DevOps.

I began to move to Matrix because you had a bit more freedom on that, and a fsf-loving community. I guess I'll just be there even more often from now
The problem I'm trying to solve is "give me an ECMAScript module version of this package, and fetch all of the dependencies too, in a way that I can use in a browser without needing a build system".

If you know of the npm recipe for doing that I'd love to learn it - I'm fine running npm once to grab the module versions of things (which I intend to vendor in my repo), as long as I don't have to use any build tooling after that point.
2256×1504 at 13.5″ is 200ppi, which is awkward, clearly designed for a scaling factor of 1.5×. You’ll get drastically better results by going up to 2× scaling with 3000×2000 display like the Surface Book’s (267ppi), partly from the increased resolution and partly just from avoiding the difficulties or quality loss (depending on approach) of fractional scaling. (As a matter of fact, environments that use integral scaling plus downsampling will produce better results on a lower-resolution 1× screen for a lot of types of content.)

I now use a laptop with a 188ppi display (which I use at 1.5×), because that was where I found the best compromise at the time. I really miss the resolution of my Surface Book.

> I barely see pixel grid on 1080p display.

Honestly, if you can see it at all, it’s not high enough.
one can feign ignorance to what they were distributing to such a degree that they get bought by a real company and experience a payday.

morally and ethically? nothing at all.
Something being unidentifiable doesn't necessarily mean that it's in the LIZ. It could be a real alien space ship, clearly viewed from close up with of information and detail, but nevertheless unidentified because it's not from this planet.

But none of the videos are like that. They're all from the LIZ, and the most likely explanation for this 'coincidence' is: they're unidentifiable because they're in the LIZ.
> Our preliminary results demonstrate that the peak power leaking into space from mobile towers is ∼4GW.

OK, thats a fine figure to be going on with; but that's a sum total of all the towers and all the bands they're using and is going to look a lot like broadband noise, even when it can be seen, right? Anomalous in many ways but like listening to the conversations of the entire flock of geese: hard to see the data without more context.

Anybody with instruments sensitive enough to perceive us prolly has better things to watch anyway. The soap operas out of Betelgeuse are getting tense about now i bet.
I don't want to do any bundling - I want to use modules in my browser, at runtime.
These are really good questions to be asking, and to help with that let's consider 3 attributes of compute complexity: time, space, and memory

The traditional way of computing on a CPU is in essence a list of instructions to be computed. These instructions all go to the same place (the CPU core) to be computed. Since the space is constant, the instructions are computed sequentially in time. Most programmers aren't concerned with redesigning a CPU, so we typically only think about computing in time (and memory of course)

On an FPGA (and custom silicon) the speedup comes from being able to compute in both time and space. Instead of your instructions existing in memory, and computed in time, they can be represented in separate logic elements (in space) and they can each do separate things in time. So in a way, you're trading space for time. This is how the speed gains are achieved.

Where this all breaks down is the optimization and scheduling. A sequential task is relatively easy to optimize since you're optimizing in time (and memory to an extent.) Scheduling is easy too, since, they can be prioritized and queued up. However, when you're computing in space, you have to optimize in 2 spatial dimensions and in time. When you have multiple tasks that that need to be completed, you then need to place them together and not have them overlap.

Think trying to fit a ton of different shaped tiles on a table, where you need to be constantly adding and removing tiles in a way that doesn't disrupt the placement of other tiles (at least not too often.) It's kind of a pain, but for some more constrained problem sets, it might make sense.

These aren't impossible problems, and for some tasks, the time or power usage savings is worth the additional complexity. But sequential optimization is way easier, and good enough for most tasks. However, if our desire for faster computing outpaces our ability to make faster CPUs, you may see more FPGAs doing this sort of thing. We already have FPGAs that are capable of partial reconfiguration, and some pretty good software tools to go along with it.

TL;DR: Geometry is hard.
>what is the expected observed change in the output before and after pruning?

The expected and observed change is virtually none. That's the whole point!

Notably, quantizing weights from 16bit weights to 4bit weights (reducing the size by 75%) also has almost no change in output quality when using modern algorithms like GPTQ.
1. Is there a better description somewhere of what that does? (its vague README leaves me in the dark)

2. Wow, being able to patch the shell without having to disable all protection and jump through scary hoops. I love that this is still possible in Windows.
He was happy to write books on what society should do and how it should be run, but never talked to the people whose lives he claimed to speak for. He saw no need. That's intellectuals running society, right?

He was politically active only in a very superficial way. He engaged in rhetoric, but that wasn't the same as engaging with democratic politics (which living in London he could have done).
It's also dumb because "Web 3.0" isn't web at all.

I guess in a way that makes it like New York, which isn't a replacement for York.
I think it is fair to interpret this as admitting that we will accomplish the same societal value with a smaller proportion of the creative, well educated population. That portion of our creative population will be available to help solve these problems. Some of them will have the resolve and resources to do so. I expect we would gain from increasing the size of that population but we have seemed to struggle to do so.
New Relic launches an AI observability assistant
FDA Approves First Respiratory Syncytial Virus (RSV) Vaccine
World’s Oldest Ultramarathon Runner Is Racing Against Death
> Microsoft needs to get their brand straight and decide, once and for all, what they stand for.

They stand for weary resignation. Same as Google and Amazon.

For most people, they're just there, and you can't not use them, so what can you do?

They can be as dodgy as they like, because when you point out what they're doing, most people will just be confused about why you're complaining, because you may as well be railing against the fact that rain is wet.
I think your doing your own revionist history here. The rumors are all that Apple is the one that blocked Khronos' initial attempts with the "Long Peaks" proposal that was supposed to become OpenGL 3.

And while Metal was released in 2014, Apple had already stopped updating OpenGL way back in 2010.

Apple is also supposedly engaged in a legal dispute with Khronos, which is why they so vehemently rejected SPIR-V in webgpu.

Mantle (which is what became Vulkan) also came out before Metal did (2013 vs. 2014)

> Direct X 12 seemed like a similar response from Microsoft

That seems like a stretch since nobody ever expected Microsoft to do anything aligned with Khronos. They'd been doing their own thing for a decade+, why would you think DX12 was anything different?
Malware has to find one flaw.

Bene-ware has to avoid screwing up of any one of thousands (millions) of calls in a system.

'Undocumented but valid' is also a nightmare here. Recently the software I support broke for a bunch of clients in the field because they were using an undocumented method that worked, but that we did not actually test internally. This did come a surprise to our testing and development team as our customer base is adverse to any kind of data collection that shows how customers use the system.
> i understood why every headphone becomes garbage when you start using the microphone channel

AFAIK, this is a codec issue, with most codecs not supporting bidirectional audio. IIRC, newer Bluetooth revisions tackle this.
my recollection of SNOBOL from college is that it has awesome pattern matching capabilities, much better than the usual regex stuff
If you aren't packing anything the browser natively treeshakes ESM for you. It doesn't load modules that aren't imported, for one obvious thing. In a "loose" package of ESM modules the browser may never even see most of the tree.

Beyond that ESM "module objects" (the proxy that the import represents and is most directly seen in an `import * as someModule` style import) in most of the browsers are also built to be readonly treeshakeable things in that they may not be immediately JIT compiled and are generally subject to garbage collection rules like everything else, and being readonly proxies may garbage collect sooner than average. So the browser will lazily "treeshake" by garbage collection at runtime in a running app. (Though if you are relying heavily on that it likely means your modules are too big and you should consider smaller, looser, less packed modules and relying on the first bit where stuff not imported is never seen by the browser.)
Can you hedge against it with interest rate swaps? It seems interest rate risk is probably one of the more manageable risks of a small business that is fundamentally dependent on other people's money - how do you know it's going to succeed in the first place even if rates don't increase?
(Had to think for a bit on this one. Heroes Of Might and Magic 3.)

I agree it's a good game. I had similar issues so it was always custom maps and campaigns for me.
True, but the new system will only improve it a tiny bit. According to this post In most of the UI it will use your display name (or presumably your server nickname) which will be allowed to match other users. You can still have matching profile pics. To tell people apparat in the new system you need to click their profile and look at the username field, which only helps if the real user has a simpler username than the impersonator.

Otherwise, like much like on Twitter, there is no good way for others to know which of @SeanHunter, @SeanHunterOfficial, @RealSeanHunter, is the real Sean Hunter and which ones are impersonators. The may all have identical display names, identical profile pictures, etc.

So those anti impersonation systems will still be just as needed.
Can LMs Learn New Entities from Descriptions?
Uber partners with Stripe to enhance payments performance and reduce costs
On MacOS:

Helix
Yabai
Nix
> Sure it's 77% smaller, it's also 77% worse.

Hehe, yeah, imagine saying you made a new programming language with 77% less lines of code than Python.
And it doesn’t support ray tracing either!
My favorite post of his about these videos was when he simply worked the trigonometry shown on the FLIR display, and worked out that these things weren’t traveling nearly as fast as described.
A couple of things I'd add to the list of points the author makes:

1) AOL was the first centralized Internet service in America to offering a walled-garden Internet in the mid-90s. Back then, they'd package their 30-day trials floppies with games and magazines -- physical bloatware! You'd see things like "AOL Keyword" instead of 'search term'.

2) Jim Clark and Netscape. After the Netscape IPO, his next project was "Healtheon" a dotcom boom project that positioned Clark's company as the middleman between insurers and care providers. Decentralization this was not. The project ultimately failed, and it's only remaining trace today is the now-blogspam site WebMD.
Show HN: SocratiQ – A brand new way to learn anything, together with friends
Hello HN,

I've been thinking about and tinkering with self-driven learning experiences in both physical and digital spaces for quite some time. They all ultimately hit the roadblock where requesting and receiving timely feedback is not scalable. Well, LLMs have solved the problem to a great extent despite the unreliability.

SocratiQ (very early beta) is one attempt at a solution empowered by LLMs. It is a self-driven, exploratory, social learning experience facilitated by GPT4.

This is my second AI facilitated LX. First one (https://seed.kood.app), takes a different path with a slightly different intent.

I'm super eager to get feedback from life-long learners and parents in the HN community. It is a super early release, so expect a slightly messy experience. Signup is required unfortunately.

Thank you.
I wonder what happens if you launch FF with your wifi disabled and/or the cable unplugged?

On MacOS and Windows (I can try this on PopOS as well if you like) FF launches instantly with no complaints if the network is down. Which tells me that FF seems to properly handle situations where things are merely unreachable.

The fact that it's hanging for you implies to me that perhaps FF is getting some kind of malformed response from... something on your network. A firewall, a proxy, I don't know.

I've not tried with those machines on a different
network. I assume it's related to networking in some
way. My network is more complex than most.

I don't know if you're open to feedback on this or not, but it feels disingenuous to state "Firefox is unusably slow" without noting that it appears to be some specific interaction between Firefox and your network. If it is a network issue, it certainly sounds like it is something FF should handle more gracefully/informatively, but that is a different matter from "Firefox unusably slow."
Yes, I'm working on a Xilinx ARM processor with an FPGA. The FPGA and the CPU are independent units in the chip that can each operate with or without the other. We can indeed reprogram the FPGA without taking the system down.
How is that evidence that Apple ever tried to engage with Khronos on a Metal-like API, though?

Seeing as Apple had already stopped updating OpenGL versions about 4 years before the release of Metal, it seems more likely that Apple never planned on working with Khronos on anything.
> The FPGA on the other hand has the output ready one clock cycle after the inputs stream in, and can have many such operations in parallel. One might ask, why are cpus not being replaced by FPGAs?

FPGAs are more or less a flexible replacement for an application specific (logic level) integrated circuit. A CPU can do a wide variety of tasks, with a small penalty for switching tasks. An ASIC can do one thing and that's it, a FPGA can do many things, but with a large penalty for task switching. (you can have a CPU as an ASIC or an FPGA, but...). ASICs require a lot of upfront design work and costs, so you can't use them for everything. ASICs and especially CPUs tend to be able to achieve a higher clock speed that FPGAs, but it kind of depends.

> Another interesting question, can software (recipes for cpus) be transpiled to be efficiently run on FPGAs?

Not really; the way problems are solved is drastically different, and I'd expect most things would need to be reconceptualized to fit. And a lot of software isn't really suited to living as a logic circuit. Exceptions would be encoding, compression, encryption, the inverses of all of those, signal processing, etc. Things where you have a data pipeline and 'the same thing' happens to all the data.
Like other cases where businesses focus on their core competency, I think many businesses just rent and let the professional landlords worry about such things. Unless your business is really chiefly a real estate play, like say those self-storage companies that buy property in far-flung suburbs, run a low-investment business for a few decades and then sell the property when sprawl has driven up land values.
MiSTer makes me kind of sad, the DE10-nano board it's based on is 7 years old at this point, and the actual FPGA chip on the board is probably over twice as old as that. And this is still the peak of hobby FPGA chips. I wonder why Moore's Law is hitting the FPGA industry particularly hard all of a sudden.
Just get a blank keyboard and sticker on your own legend if you need to. They have both enter sizes. (Only half joking, and you can buy a different keyboard once it is available in your locale.)
No one knows what it means, but it’s provocative. It gets the people going.
Open X: Advanced Manufacturing Skills Made Easy
Wouldnt work in America, ya know, free speech and all.

But the rest of the world, quite likely, even got support of GPRS or whatever it's called nowadays.
For shops that want to ensure their own codebase stays local, definitely no.
Just rent instead and negociate a fixed rent for the next X years.
This shows a level of confidence in the banking sector that I find questionable. Risks associated with raising bond interest rates were one of largest factors in the recent bank failures. Surely more bank failures would be seen as worse for the economy than inflation.

If more, larger banks fail in the next twelve months then the Federal Reserve will be sheepish about raising interest rates for the next hundred years. In inflation stays high then it seems likely the Federal Reserve will keep pushing those interest rates higher and higher until something breaks and we enter crisis mode.

Personally, I'd like to see Congress take more action to reduce inflation. Ideally I think the answer is some combination of raising taxes and reducing federal spending, to start to decrease the amount of cashflow. I think some activity on their front can have an impact without introducing the same types of banking risks associated with raising interest rates, and we'll see better results with less negative impact. Of course, given the contents of the Inflation Reduction Act this seems unlikely. The legislative and executive branches seem content to leave inflation to the Federal Reserve, as it absolves them of responsibility.
Orwell’s List
The "LIZ" also doesn't really exist. There's no quantifiable way to measure it outside of just agreeing that something is hard to make out. Some of these newer videos are well within the range of whatever the camera's capability is.

Targeting systems also don't have "Low Information Zones" for known objects. They enter a "Low Information Zone" when the craft they're targeting starts doing things that are unexplainable. Is the craft creating the LIZ in that case?
No!

>>> someone at the top needs to see if the company can invest that much money and for how long, which requires some numeric value attached to a project.

Software is an enabler. It's still blowing up the world. Almost all new projects are "build a new capability we don't currently have". Can you fire lasers from the backs of sharks? No then do this shark-laser project and you can.

The actual cost is kinda irrelevant - either laser sharks are awesome for your business or not.

Cost control in software development is not an issue of estimation and project management - that's for ditch digging.

Cost control in software is about iterative development, early surfacing and engagement, it's about small teams well lead and left alone. Want integration - build an integration environment and a dashboard with tests on it - dont build a gannt chart.

I think I need to get something off my chest
I appreciate the feedback but I'm not sure I follow. What changes to the estimation methodology do you mean? And what properties make software projects more erratic than a log-normal (which is already very erratic)?