skysight-inc/HackerNews huggingface dataset:
Def a psyop. Classic Catalonian move of seizing independence by writing self determination laws in code and carefully introducing a bug that they can then exploit to secede.
[2013] I think
LOVED Lemonade Stand. It was Economics 101 for a second grader.
That's not significantly bigger than contemporary battleships, right?

[edit]

I dug a bit; the Japanese forces had 2 similarly sized battleships (indeed this was initially planned as a third). The Iowa class displaced about 55kt, and while the Russians started 3 ships of larger displacement, they were never completed.
> I love home assistant, but I wonder for whom this is. I presume this is for non-tech people…

Not in my experience. For non-tech people, stick with Alexa or HomeKit, and maybe set up Homebridge for them.
By the “delta in the LLM weights”, I am assuming you mean the gradients. You are effectively describing large batch training (data parallelism) which is part of the way you can scale up but there are quickly diminishing returns to large batch sizes.
I bet saying reply with text x to show that you read this text in full would cut the valid applications in half.
Architecture-wise, even a regular modern CPU isn't that hard. For example, Berkeley has the BOOMv3 core[0] which is performance-competitive[1] with commercial chips taped out in the last few years. I think commercial chips are faster because of improvements in analog design, and not some super special architecture sauce (although I'm sure there's some special sauce -- it's probably not the defining factor).

[0]: https://boom-core.org

[1]: https://carrv.github.io/2020/papers/CARRV2020_paper_15_Zhao....
The supervisor method of installation is difficult to get right. The easiest way forward is Home Assistant OS, which includes supervisor, or just running the Core docker container directly.
The article is decent because it debunks a lot of stuff but it is concerning it even needs to be written. What does someone even mean when they say a cyber security worker is going to replaced by AI? I fire Bob from the IT security department and step 2 is.. ? Like in concrete terms, what happens next?

It's like asking "will debuggers replace cyber security?". A tool does not replace a worker, these aren't the same category of things.
Why Are So Many Men Obsessed with the Roman Empire?
Because his claims, at least the public ones, we're actually very vague, and an investigation is very likely to not find the things he's claiming, but also not be able to rule them out to a level where he could be indicted (beyond a reasonable doubt). So there is very little upside to the huge waste of money and time.
There's a half day tutorial at the LLVM Developers Meeting on this, ML-Guided Compiler Optimization in LLVM. However, the authors of this paper aren't giving that tutorial.
That is not the real 2038 problem.

But cool clock, really love it!
Dude, please provide context on the site. I have no clue what I'm looking at or its purpose. Not trying to poo poo on it, just want context.
We moved the sponsorship to the Wasmer repository, even though the work will need to be in Zig codebase:

https://github.com/wasmerio/wasmer/issues/4218
The idea is that this would be a huge number of extra bounds that need to be processed. This is one of the more computationally expensive parts of the frontend.
A single Beyond Meat plant last year was found to have mold, listeria, and rodents. I wouldn’t be so sure that working conditions are much better. https://www.latimes.com/business/story/2022-11-21/beyond-mea...
Not really. How do those lifeforms travel to earth? Needing new physics would be right back to allowing pretty much anything.
I don't think I've typed out 'lol' in a message since circa 2005, on online chat in some dark corner of the web. Culture bubbles are an incredible thing.
RK3566? Any chance we could get Soquartz support for the Yellow?
> understanding.
We evaluate on a large suite of test programs. Our approach achieves a 3.0% improvement in reducing instruction counts over the compiler,

3% code size reduction is really good. The challenge will be having codegen like this that someone is willing to support. And for that they'd want to be able to reason about why the compiler made this decision or that one. IIUC that's an outstanding problem for AI in general.
Poison ivy is poised to be one of the big winners of a warming world
yes, but they could just simply add more and more memory to consumer and cloud versions of cards. So, nvidia is safe. More memory, bigger models.
Most people have never played a MOBA.
If one were willing to run some numbers.

Californians drive 340 billion miles a year. If that were all EV's then they would consume 85 billion kwh/year.

Solar insolation is about 2000 hours a year.

So you would need 42.5 GW of solar. With say 30 million cars that would be 1500W per car.

Check, average car drives 35 miles a day. So needs 8.75 kwh. 6 hours of sunlight so you'd need 1460 watts or solar.

That's $1500 worth of solar per car.

Set and match. Totally totally doable.
do you mean 74xx series logic? or 70xx series voltage detectors?
I think this is a big part of it. My sense (as a non-lawyer who has looked at a fair number of laws and contracts) is that, in addition, there are plenty of laws and contracts that are just poorly written and wording or constructions that lawyers have retained out of caution or traditionalism. This last case, traditionalism and caution, is maybe a special case of the other cases, but it's not always obvious.
also that's the gayest tone policing I've seen in years
Maybe you're not experienced enough to understand it? I clearly understood what this parent post is saying.
It's interpreted as old person, because there's a class of boomer that ends all their sentences with … and then puts them in the middle of half of them too.
I doubt that anyone on Apple’s C suite has a personal Facebook or other social media. Once you get to a certain level of fame/wealth/corporate importance your social media output will go down or at least become not personal. Having a private social network makes a lot of sense for them. Might be better for everyone else too.
State Laws [pdf]
Along the lines of building a full computer out of discrete logic parts, slu4 created the Minimal 64, described in his Youtube channel: https://www.youtube.com/@slu467
The need to rename in order to work around behaviour in Excel seems outrageous on the face of it. But it is just one example of the tool shaping the user. Anyone care to add your favourite example of technology shaping how something is represented, categorised or even thought about? For me 1/3 being the endless .3333333… on most computers is a subtle yet very shaping behaviour.
I think this game uses almost entirely its own engine and Unity is just used as a HAL and porting harness, so this is sort of a best case scenario for ease of porting. There's a surprisingly large number of games like this, though they're not representative of most Unity titles of course.
Good boots are like PV panels. Poor people don't have the money to buy them. Middle class spends less in the end, since the investment pays off.

Rich people on the other hand usually did not get rich by saving money.
VLAN is not intended to be used like that. You want to rely on a trusted firewall you own, with separate interfaces and appropriate firewalling rules. This can provide an isolation between networks.

Behind this, any pirated server could decide to send VLAN tagged packets that may go trough the firewall if the rules are bad, or read any of them arriving to it.

VLAN's are useful if you want to "tag" packets with ID's going trough specific interfaces for segmentation purposes. The tag is applied from the interface standpoint, so this gives a virtual segmentation between ports of machines you are supposed to always control, like between a port on your router and ports on a managed switch.

In this case VLAN's are configured on the router's interface and the switch interfaces, but the exposed server is not aware about it, and can't change it, so you can know the ID is right.

This is often believed this is required to isolate networks, this is wrong, you just need to have separate interfaces.
I contacted on LinkedIn by a recruiter, who I saw there were mutual acquaintances with and she even was my dads recruiter for a while. She did her work and now gets a percentage of my salary. That was an arrangement between her and my company, so I never paid her personally. The fact that she negotiated my salary up by 10k and the opportunities she made possible makes it a win win in my eyes.

In other words, I don't think them being paid by their recruiting company makes it a conflict of interest. In fact, this gives them an incentive to negotiate the highest salary for you.
The approach seems to focus on selecting optimizations to apply for LLVM (e.g., imagime: should this be inlined as an example), but the worst case is that the code is poorly optimized, you can't select optimizations to apply and get a wrong result.

I agree that what you say is true of compilation as a whole, but that doesn't seem to be the focus here (rather, it's used as a sort of crutch to help the LLM learn)
StingRay is a brand name. The generic term is IMSI catcher. Basically a portable fake cell tower law enforcement can carry around that will capture the identities of every phone in the vicinity. They can also pretend to be 2G-only towers to trick phones to use an insecure protocol so more data can be captured.

Since it tracks everyone in the area, there's major privacy concerns about how they're used, and police have been caught repeatedly lying about their use. To the point that if the defense in a case discovered police had used a Stingray to identify their client and challenged it, the police would drop the case rather than letting anything about the Stingray enter the public record. https://arstechnica.com/tech-policy/2015/04/fbi-would-rather...
If you like to have the Unix epoch in your prompt, you can do something like this:

function prompt_epoch() {
printf -v COMMA_EPOCH "%'d" ${EPOCHSECONDS}
p10k segment -f 66 -t ${COMMA_EPOCH}
}

EPOCHSECONDS relies on `zmodload zsh/datetime`. printf -v creates a variable rather than output text. p10k segment is just a function that powerlevel10k uses, you don't have to use it. COMMA_EPOCH is just the current Unix time separated by commas every 3 digits.

If you wanted your own countdown, you could easily do `2147483647 - EPOCHSECONDS` and display that time instead.

EDIT: and if you want to mimic that oh-so-cool clock, you could do:

printf '%x\n' $EPOCHSECONDS

or assign that to a variable with printf -v, then split the string into pairs. Mimicking the colours of the clock would be fairly trivial too.
https://news.ycombinator.com/item?id=36837273 are you sure they are not prosecuted
For someone adult in 2000, 2038 might be retirement age, so they are probably investing in their pension and paying off the mortgage assuming 2038 is coming, but then at work it is like "wont be here when that happens!"
Question for someone more knowledgeable: as the iPhone’s periscope lense tech improves will this effectively make the low end of professional mirrorless/dslr cameras obsolete?
They are not using LLM to directly produce the result code, but as tool that lists which optimisations should be done and in which order, which is fairly complex problem to solve. But if optimisation passes are implemented correctly (which is anyway required for a functioning optimising compiler), it cannot produce incorrect code, maybe only suboptimal compared to default heuristics used.
IPv6 just popped in to say hi
The words almost always mean almost exactly what they mean in plain English. That’s why the law is a huge mess.

As a fun exercises, try to find how many definitions of “child” there are in the US law and how many times it’s used undefined.
From now on you are not doing the real data science. But you can hire me to tell how the real data science is done.
Didn't deja delete a bunch of archives that are now permenantly lost? I think google wins by default here for not destroying history.
Your experience matches with what I've seen.

If you give the cells something spherical [1] to adhere to then you can achieve a higher yield, but still only a monolayer.

[1] https://smartmcs.com.au/what-is-microcarrier/
Unarmored flight decks (the wooden flightdecks had a un-armored metal banking behind it) were certainly vulnerable, but you have to consider how long it takes to take a ship from planning into production. The Essex class which formed the backbone of the fleet by '43 onwards was basically design frozen in '40. The Essex had an armored hanger deck (which likely contributed to why none of them were actually ever sunk by kamikazes).

Moving the armor layer up to the flight deck had significant weight and balance ramifications (would eat into air wing capacity or fuel/weapons depth) that would make retrofitting existing designs very challenging.

British carriers were armored from the beginning of the war.

The difference in design philosophy can probably be attributed to the British expecting their carriers to frequently be operating in range of superior numbers of enemy land base aircraft (ie, around Europe), and therefore expected their carriers to be repeatedly engaged. American doctrine assumed fleet action, primarily against enemy carrier aircraft, where air wing size would be more useful.

Ultimately in the end, a little bit of both solutions won. The post-war carriers (at least American ones) grew to become large enough to both be armored (by WW2 standards) and have large airwings. But in relative terms... by mid to late Cold War, guided missiles had become large and sophisticated enough that passive defence (armoring) was very much a last chance gamble.

Also, at least in terms of aircraft, while some of the aircraft deployed in the Pacific were clearly woefully out-classed (RIP Brewster Buffalo and Devastator), right from the beginning, many other USN aircraft were qualitatively right in the mix. Certainly the F4F had enough good qualities that USN pilots could wield it at an advantage. The final K:D ratio versus zeros is like 5-7:1 or so, which leads positive for the F4F even trying to account for kill over counting.
I don't watch that kind of television much, but since I'm not a lawyer, my view of the world is probably too simplistic.

Still I'd argue that normal language is very poor at handling that tangle of references.

A good programming language would make those references very easy to untangle and present in their untangled form.

When I've read (Danish) laws, I've often thought that they would read better as if statements.

It's not that I think those laws are written in legalese, it's that they are expressing logic in a suboptimal way. Like how "four plus four equals eight" is a suboptimal way to express what could be expressed with 4+4=8.
Tesla might have 2M Cybertruck reservations
The trick is finding a way to ensure that LLM produces something which is always correct. Like in this case, the LLM only changes compiler optimizations, not the assembly itself, so no matter what it outputs the code is correct, it just may be larger. Other possibilities: an LLM which applies semantics-preserving program transformations, or an LLM combined with a proof assistant to verify the output (more generally and for any domain, an LLM as an NP oracle).

But I agree, as of now I haven't seen good uses where LLMs produce reliable output. Not only do you need that guarantee that whatever output always generates a correct program, you need something where an LLM is considerably better than a simple or random algorithm, and you need a lot of training data (severely restricting how creative you can be with the output).
The link was provided to refute "Snap uses CPU". The repo is from 2022 but do you really think Snap publishes breaking code and papers on new, novel, and highly competitive functionality? The snap-research GH org wasn't even created until 2020. Do you really think they weren't doing anything before that because it's not on Github?

This thread has been exhausting, I suspect due to the religious war that is Apple/Google. As I've said time and time again - if you're genuinely curious Google is your friend here and it takes seconds to find any number of apps, projects, etc using CoreML in 2017.
Ctrl-F "stink": 0

Ctrl-F "stench": 0

Ctrl-F "smell": 1 hit but only for hot insulation smell
I've only seen pigeon guillemots, but I am in love with them. They have so much spunk and personality. They appear to be very playful too, they do aerial acrobatic competitions, perform splashy takedowns in exaggerated comic fashion, their courtship displays are a circling ballet with offerings of fish. They even seem to "laugh" riotously as a group when something outrageous happens. Guillemots aren't flashy but they are charming as all heck for patient birdwatchers.
No, what you’re describing is what gets filtered to the people in charge of the SOAR who then automate those outcomes.

Even with the top tools and detection you still absolutely need knowledgeable people to decide whether an alert is a false or true positive and then you absolutely need humans in the mix to decide what the next steps are.

When you say “most security jobs” maybe you mean first tier SOC for a vendor? But I’ve never worked for one and as far as I know they’re universally seen as just above useless by anyone without a financial incentive to employ them.
Because shipping enables us to source products from much more distant locations; this can cancel out a chunk of that per-KM advantage. It might still be true that in many instances shipping is better for the environment than local production plus rail transport. However since we’ve elected to misprice carbon externalities, there’s no reason to believe we’re getting this right.
People who work for the government (civil service/NHS/prisons/MOD etc) pay tax.
Just use CDK. By far it's the best way to manage AWS infra; AWS also uses it internally.
MLGO uses RL
MS made killer software, literally killing the competition by any means.
Chinese police detain wealth management staff at indebted developer Evergrande
I often wonder, if one is going to add such tags anyways, why not directly use LaTeX, ConTeXt, XML, ... for example

\begin{conccurrent}{Hacker News Thread}
I'm writing in an HN thread.
\end{concurrent}

is not so different from the markdown source. All the benefits you mention are simply from using semantic markup.
> yet things like adblocking are behind a paywall

Are you referring to iCloud Private Relay?
I have worked in a number of nuclear hardened facilities. Some more than others. There certainly are robust standards for this, as I recall quite a bit of fuss around even the small details. Typically what you see is everything is electrically isolated. On-site power, EMP hardened with shielding everywhere. All mechanical and electrical equipment suspended. Several feet of concrete on all sides. They told us it was intended to withstand near impact and I believed that it could. At least structurally. I’m not sure the people inside would fare the same.

I also spent some time inside Cheyenne mountain. That is next level hardening. I have no doubt you could hit it with 50 nukes and the people inside would hardly notice. Of course, other than it specifically being their job to know that we’re being nuked.
That game was a gateway drug!
Indeed - that's exactly why I didn't list them separately.
> If I added a new instruction that just does a logic right shift by 1 and made the old shift instructions all trap

You can use microcode for that. Also microcode can be used to implement multiply/divide by adding/subtracting in a loop. Microcode is very bad for performance, but in a DIY project it can save lot of chips. Microcode was used in 60s and 70s computers.

And the simplest microcode sequencer is made of 1 (one) register and 1 (one) ROM. Although, for a RISC-V you would probably need more than 1 ROM (microcode is usually very wide, 16- or more bits).
Writers and talkers and leaders, oh my
Empathy is not mutually exclusive.

That said, I disagree that the two are all that comparable comparable: NIMBY regulations don't force anyone out of their homes. Landlords that decide they can raise their rents and still find tenants may displace renters-- but that's the landlord's choice and generally increasing density increases rents regardless too because of the increased value of denser areas.
I believe that another thing that happens, and it is common in every field, is that certain constructions are very common within the field, and so the need arises among practitioners to shorten them. Most domains invent new words, but this doesn't work for laws and contracts (since they need to at least in principle be understandable to non-practitioners, such as most elected officials).

So instead of full-on jargon, legal texts get enshrined phrases, which practitioners can essentially skip over, but which also retain some meaning in plain English (though often sounding antiquated).
Ellery Queen is the pseudonym of a writing pair, Frederic Dannay and Manfred Lee. They have written many great detective short stories and novels, in addition to publishing this magazine. The magazine is still extant.
That DI library is not pythonic at all.

There's nothing wrong with this at all, say:

class MyClass:

def __init__(self, my_dep1=None):
if my_dep1 is None:
self.my_dep1 = get_my_dep1() # Or potentially raise
else:
self.my_dep1 = my_dep1

[...]

Then to test:

def test_my_class():
mocked_dep1 = MagicMock()
my_class = MyClass(my_dep1=mocked_dep1)
[...]
I understood the parent perfectly fine.
The end of the pisces age will be in 2150 a.d. so unless you expect to live for another 125 years, you gotta get off that chair.
Ah okay, I just looked at the picture and read the brief description of cold oats left overnight and assumed they’re the same thing. If that’s not the case then I’ve definitely never heard of muesli before today.
AI, as it exists today, is very good at interpolating lots of data. It is far less able to do a good job of extrapolating far outside the boundary of existing data. Given the cat-and-mouse nature of security, where the parties regularly move outside the bounds of past behaviors, it is very very unlikely that AI will be useful in security at the boundary.

It will be very good at making sure known exploits are not available, but known unknowns and unknown unknowns will remain security blind spots.
Quantification can be done by measuring in at least two dimensions: (1) the size of the synthesised code, and (2) how precisely the generated code matches the input (which means roughly: on what fraction of input do the two programs give different output). We have set up a challenge that seeks to entice the community to look into this problem domain more. And we've simplified the assumptions, so as to make it more tractable:

- Challenge: https://codalab.lisn.upsaclay.fr/competitions/15096

- Paper describing the challenge: https://arxiv.org/abs/2308.07899

(I am one of the authors, AMA)
There's als the "Vaxman museum" in germany: http://vaxman.de/museum/museum.html

But I'm not sure if it's still around and if you can visit it.