skysight-inc/HackerNews huggingface dataset:
It just seems like a lot of behaviors are closer to full blown programs rather than a single instruction :-)

And the more complex the behavior the more it blows my mind :-D

Thanks!

Thanks for the link below - it was pretty neat :-D
Most-cited retracted paper ever is quite a claim to fame!
I mean, GDPR also requires them to disclose the data breach publicly within 72h of detection, but it seems like they're not even remotely interested in that.
Best Movies on Apple TV+
Exactly! Getting locked in is an inherent feature of service businesses. The trustworthiness of sales people is secondary at best.
A Secret Service agent was robbed at gunpoint
I also think they have to comply because of this: https://gdpr-info.eu/art-17-gdpr/
Good analogy, except putting up the sign actually works because there isn't any other layer around it... whereas putting up IOCs onto your Microsoft Windows OS will trigger Windows Defender, any SIEM, and generally speaking most security-oriented software worth its salt.
Yes in a way the problem is self resolving :)
That is a good use case and it's a good problem to have, certainly the kind I wanted to hear, but it's not a problem I have had yet.

Moreover, I absolutely expect to have to update my prompts if I have to support a different model, even if its a different model by the same provider. For example, there is a difference in the behavior of gpt4-turbo vs gpt4-o even though both are by OpenAI.

Specific LLMs have specific tendencies and preferences which one has to work with. What I'm saying is that the framework will help, but it's not as simple as switching the model class.
Transformers != Modern LLMs.
It is 100% an important invention, but other important tech like hidden markov chains existed long before.
Huh...I didn't know that...the lil S.O.B.s on my porch must be really well fed - the webs are everywhere :-D

Thanks
If you use another Auth mechanism (Google, Apple) to sign in, then 2FA is enforced as expected.

I still get the phishing "login confirmation" emails though.
Nvidia is the most valuable company at the moment
Nobody donates to stuff like this. Even if they love it and use it everyday, they will never donate a dime to you. Expect to get a total of ten to twenty dollars per month in donations if you have 100 000 active users.

And then the vote manipulation, and just the fact that even smart people upvote and downvote like jackasses. The search results will become low in quality.
When you’re too cheap and dumb to spend $0.02 per user for a robust auth system and decide to fuck everything up instead.
Arguably the only window that needs to be in a hardware plane is the window currently in focus.
This is NOT positive. Not at all. This means that the grid is filled with useless generating capacity.

As a result, nuclear power becomes less competitive. However, renewables work poorly during the winter time. In Europe, they can go down for multiple _weeks_ at a time, far beyond any storage capabilities. And the only power plants that can fill the gap are fossil fuels.

End result: more fossil generation.
In this case hardware is significant bottleneck: LLMs need lots of compute to strive.
Other malware check for a cyrillic keyboard to try and geo target inside of the country of opération.
Sorry for the answer more than a week later, but could you please elaborate? They don't have motorized ventilation in the UK? Why?
You can try? Worth the risk for $7, with a 2-hour playtime refund period through Steam.

There are also a bunch of other similar games on this list: https://github.com/arcataroger/awesome-engineering-games?tab... (disclaimer: I maintain it, but it's a community effort)

I think 7 Billion Humans might be easier to get into, since it's a drag and drop visual code builder GUI: https://store.steampowered.com/app/792100/7_Billion_Humans/

It's similar to Scratch: https://scratch.mit.edu/

And of course there's Roblox: https://create.roblox.com/

And Fortnite: https://www.fortnite.com/create?lang=en-us

-----

There's also a whole sub-genre of similar factory production games (like Factorio and Dyson Sphere Program and so many others in that list). But this game is pretty unique in that it lets you write actual code instead of putting together graphical "logic block" elements (splitters, conveyers, etc.)

The graphical games are useful for teaching logic and thinking in terms of functions (inputs and outputs). But to learn real programming, it's nice to be able to see the actual keywords. 7 Billion Humans and Scratch at least have that.
I'm sad that the PDF doesn't use hyperref.

When you get used to clicking a few links to to the a cited reference the whole scroll-to-reference, copy-paste to google, scroll to paper song and dance seems a lot less fun.

Probably a cool paper though.
Because its a presentation not a website.
If the price is -5$ in France, but still $7 in Germany, why not dump all that excess energy to Germany?
Lieven Le Bruyn is just in the habit of cataloguing how algebraic geometry culture shows up in unexpected places, eg. http://www.neverendingbooks.org/what-about-simone-weil/ . Surprising to see on Hacker News.
Spain is awash in clean energy from renewables [1] and has large interconnect capabilities with Portugal (~5GW). Between both countries [2] [3], they operate very close to ~90% low carbon most of the time. Spain's last coal fired generator retires in August 2024 [4]. We must push east with low carbon power, as that is where the dirty grids are (see live ElectricityMaps app map scoped to Europe for context).

[1] https://www.bbc.com/news/articles/czkkgnp1d2xo

[2] https://app.electricitymaps.com/zone/ES?wind=false&solar=fal...

[3] https://app.electricitymaps.com/zone/PT?wind=false&solar=fal...

[4] https://www.gem.wiki/As_Pontes_power_station
New Foundations for Separation Logic
Key Advances in Separation Logic

◾2024 Introducing New Foundations for Separation Logic
- What It Is: An advanced form of logic to better handle complex security issues
- Why It Matters: Provides stronger and more flexible ways to protect data

◾2024 (Mid-Year): Creating Reliable Proof Systems
- New Methods: Innovative ways to ensure security measures are effective
- Benefits: Ensures that the logic used is both sound (correct) and complete (covers all scenarios)

◾2024 (Late-Year): Launching Dynamic Separation Logic (DSL)
- Reynolds' Logic: Enhanced interpretation compatible with advanced security needs
- Efficiency: Streamlines security processes, making them quicker and more reliable

Core Innovations:

◾Enhanced Separation Logic:
- Advanced Syntax: New, powerful tools for defining security measures
- General Semantics: More robust and flexible ways to apply these tools

◾Dynamic Separation Logic (DSL):
- Integration: Combining different logic systems to enhance overall security
- Framework: Provides a comprehensive structure for analyzing and verifying security protocols

Impact on Cybersecurity:

◾ Advanced Frameworks:
- Improved Security: Ensures that the logic used in cybersecurity is both robust and adaptable
- Comprehensive Protection: Applies advanced separation logic to cover all potential security issues

Best Practices for Cybersecurity:

Detection Enhancements:

◾Automated Monitoring: Using AI to continuously check and validate security configurations

◾Real-Time Analysis: Leveraging advanced analytics to detect any inconsistencies immediately

◾Threat Intelligence: Staying updated with the latest in logic and security research

Preventive Measures:

◾Robust Proof Systems: Utilizing reliable methods to verify security protocols

◾Isolated Backups: Ensuring backups are independent and regularly tested

◾Change Management: Implementing strict protocols to manage changes and prevent errors

Network and Data Security:

◾Zero-Trust Architecture: Applying rigorous verification to every request and interaction

◾Enhanced Logging: Maintaining comprehensive logs for monitoring applications

◾Security Audits: Conducting regular assessments to identify and address vulnerabilities

Continuous Improvement:

◾Disaster Recovery Drills: Regularly testing logical recovery plans

◾Post-Incident Analysis: Reviewing incidents to refine and improve frameworks

◾Collaboration: Engaging with industry experts to share best practices and advancements

All authors
Hiep, H.A.
Supervisor
Boer, F.S. de
Co-supervisor
Gouw, C.P.T. de; Laarman, A.W.
Committee
Katoen, J.P.; Pérez, J.A.; Basold, H.; Bongangue, M.M.; Kleijn, H.C.M.; Plaat, A.
Qualification
Doctor (dr.)
Awarding Institution
Leiden Institute of Advanced Computer Science (LIACS) , Faculty of Science , Leiden University
Huh. My wife and I have been calling these "Stack and Pack". Didn't know there was an actual technical term for them.
> I'm concerned by the number of misunderstandings expressed in short time here.

I have a feeling you misread my comment completely, and the misunderstandings are on your part?

> Nobody claims service time is constant.

Neither did I. Neither did I claimed that Little's Formula requires a constant service time.

> Little's law is one of the few parts of queueing theory that remarkably does not depend on service time distribution.

I did not say otherwise either. My point is that it is way less useful and enlightening than these edutainment posts make it. Two systems with the exact same parameters and results by Little's Formula might behave completely differently, and in many cases, counterintuitively.

> Many results for typical simplified M/M/c systems apply well also to any other service time distribution provided (a) arrivals are Poisson, and (b) the server uses time slicing multiprocessing. These are not very severe requirements, fortunately!

This was not my point. Or do you claim that queue size distributions DO NOT depend on service time distribution? Because that WAS my point. Averages do not tell the story you are most interested in. The whole point of queues is that service and arrival times have distributions with deviation. I personally think queues and buffers are very-very important and I am a huge proponent of predictable user-observable latencies as they improve general system health and resiliency under load.

> Long-term average sounds restrictive but it really just means a period long enough to exhibit some statistical stability. Most systems I see sit mainly in those regimes.

Long-term averages do not talk about pathological transient behavior, do not help you with queue sizing - or setting ideal timeouts. Also, statistical stability is misleading, the convergence time to the given statistic might be arbitrarily slow. Also, if we talk about real-world systems (which you do), they exhibit feedback do to clients retrying, throwing off the formula and potential ergodicity.
Ah, thanks, I should've searched first!

Though in this case, having a more descriptive title & body text hopefully helps people know WHY this is interesting.
Ironically, with growth triggered by a Microsoft investment
Are we? We kill billions/trillions of other beings per year, far more per person than we did 300 ka ago when we came onto the scene.
Okay, here you go.

Github search for "import react", 56M results: https://github.com/search?q=%22import+react%22&type=code

Github search for "</Suspense>", 220k results: https://github.com/search?q=%22%3C%2FSuspense%3E%22&type=cod...

Thanks for the mildly condescending attempt to give me your earthly wisdom, though. Believe it or not, common sense can occasionally be just as useful as hard data. Maybe this can be a learning opportunity for you instead.
I appreciate what he's trying to do. Nearly everybody who points out the genuine ways that men are discriminated against do so in order to fight feminism. They never actually try to advance the rights of men.

I wish it ended with a stronger call to action. What does he actually want to do about homelessness among men, or the fact that men are over-represented in prisons?

Of course he's just getting started, trying to build up something out of what is (unfortunately) nothing. If it were me, I'd suggest that he'd do better trying to bring these issues up with feminist groups, or with existing advocacy groups for suicide/homeless/etc. The tend to be male-oriented, which is part of the reason there exist separate groups for women in those circumstances.

But if he'd like to construct a male-focused cohesive strategy for such things, I hope he succeeds.
It's obvious what's going on. The entire thing has been outsourced to a certain country and this is basically standard for work out of that country.
Because many of the ASCII characters are non-printable.

Of your 8-bit character set, ASCII technically includes only the low-order 7 bits (0-127); there are numerous extension character sets that define codepoints 128-255 differently. However, ASCII has a number of non-printable characters in codepoints 0-31; these include things like the bell, field separator, row separator, null byte, etc that will do very strange things to your terminal.

The whole point of base-64 is to create a printable representation of binary data, so if it uses non-printable characters, it's failed in its job. Realistically this creates a range of codepoints 32-126 to work with, but it's much easier if it's an integer number of bits, and the largest power of 2 within those numbers is base-64.
"Nvidia’s market cap has passed not only Apple but now Microsoft, too, at more than $3.3 trillion"

Is it too late to buy some Nvidia stock? Will it continue to rise, or is this just a bubble?
This isn't food, it's mail delivery. As a general rule I don't hand-deliver my own letters and I shouldn't have to hand-deliver them to get privacy.
I know at least one of ideas is that the retail would be relevant to the inhabitants of the top 5 floors. Has anyone seen that work well in action? Or are these just houses on random strip malls.

I don't like the idea of stores I don't care about inviting increased traffic around my house, but i would happily have increased traffic if it meant at least some stores I care about are just downstairs.
I've always had trouble with people's definition of consciousness. What is amazing to me is that I've lived my whole life, from the perspective of this one seemingly random guy. I can't prove anyone or anything else is consciousness, but I know "I'm in here" so to speak. As amazing and complex as the configuration of atoms in the human brain is, it doesn't even begin to explain to me how "I" ended up perceiving reality from this one object in particular. Or even explain what "I" am.
I'm really not sure what to make of Twitter. When I see some Russian backed influencers on the right and left get 100k likes for some unhinged tweet I'm tempted to dismiss it as all bots. However, I'm sure at least some of it is real, and it seems to affect the thinking of important people, so I'm also worried that I'm underestimating it. But also, I'm not sure how many of the real people are even people I care about. I don't want our Twitter politicians to get influenced a foreign teenager ratioing them. Sometimes I wish we had our own Chinese style great firewall where everyone could be tied to a known identity.
Can confirm. My PI didn't review anything. Sent their journal reviews to students and told us to sign their name at the bottom. Straight up told us to falsify our results on more than one occasion (I refused). I reported them to admin. Admin didn't investigate, didn't even contact the witnesses I named, and gave the professor tenure. This was at UT Austin about ten years ago. Academia is broken.
sooner you will realise, many concepts are not important, and you will start building your concepts instead
If your password is leaked, and you then authorize the verification email by clicking on the verify text, how else do you expect Booking.com to prevent access? The point of 2-factor is lost if you are careless with your second factor.

[People seem to be downvoting me but no one seems to be replying with what the reasonable behavior should be. Maybe my understanding of 2FA through email verification is lacking?]
Waymo's Robotaxis Are Finally a Real Business for Google
Heh, there's been SO many times I wanted to do that in those kind of games. My GF likes Stardew Valley, but the whole time I was just like "man, I want to wire up some circuits and automate this whole thing like Factorio". Probably missing the point of Stardew :) But this definitely scratches that itch.
Shitty work happens in any country when you look for the lowest bidder.
Wow, this is super cool. The whole experience of interacting/watching/listening to it is very relaxing and harmonious-feeling. Thanks for sharing! :)
There are tabletop wargames for the consumer/hobby market that do try to include various kinds of friction in the gameplay. Both the classic Memoir 44 [1] and the Undaunted series [2] have you issue orders from a hand of cards drawn from a deck.

Memoir 44 divides the board into three segments (a center and two flanks) and your cards to issue orders always apply to a specific segment (e.g. right flank). Lacking the cards in your hand to issue the orders you might want simulates those orders not making to the front lines.

Undaunted explicitly has Fog of War cards which you can't do anything with. They gum up your deck and simulate that same friction of imperfect comms.

Atlantic Chase [3], a more complex game, uses a system of trajectories to obscure the exact position of ships and force you to reason about where they might be on any given turn. The Hunt [4] is a more accessible take on the same scenario (the Hunt for the Graf Spee) that uses hidden movement for its friction.

I don't know how many of these ideas leap across to computer games, but designing friction into the experience has been a part of tabletop wargames for a long time.

[1]: https://boardgamegeek.com/boardgame/10630/memoir-44

[2]: https://boardgamegeek.com/boardgame/268864/undaunted-normand...

[3]: https://boardgamegeek.com/boardgame/251747/atlantic-chase-th...

[4]: https://boardgamegeek.com/boardgame/376223/the-hunt
> Has anyone seen that work well in action?

Yes, it works pretty much anywhere if the retail in question is the relatively useful/high traffic sort (e.g. grocery stores, bakeries, coffee shops, restaurants/cafes, etc). And it doesn't have to just serve the people of that exact building, if there are a bunch of other 5-over-1's or similar in the immediate area.

Honestly, this sounds like a bit of a stereotypical American question: "Can <thing that the rest of the world already does> actually work at all?"

Edit: I should add that of course there can be other variables at play. For example, if the general street design of the area is more pedestrian friendly, that's helpful to this style of zoning/building, and if the street design is hostile to pedestrians, then these things won't work quite as well.
Not enough interconnect capacity https://montelnews.com/news/1525872/france-to-miss-2030-inte...
Does TUI stand for terminal User interface. or the same as command line interface called as CLI ?
Yes, because money is fungible, and Wells-Fargo (& its "systemically-important" peers) receives via its privileged positions a de facto non-stop rolling bailout in addition to any occasional "crisis" larger headlingebailouts.

This fumble – at "just" $120mm losses per year – is still pretty small compared to its billions in income. A drop in the bucket!

But the reason they can take, and survive, any number of such unwise swings at no material risk to their insiders & shareholders is that their overall income is largely a function of their oligopolistic power & bottomless access to cheap federal money. They just have to avoid drawing on it "too much", in a "too unseemly" manner.

They can push that advantage a little more when they lose more elsewhere, as long as their coarse risk and overall results look similar to their peers – who are similarly pressing their special advantages around the edges.

So there won't be a specific measly transfer from public funds, "this is covering your failed Bilt program", of course. But they can just lean on their advantages a little more, and "keep up with the Joneses" in their peer banks in coarse indicators, with everyone at the trough (executives, politicians, politicians' pet projects, major shareholders) not facing any even marginal negative feedback.

And in some next major macro reversal which puts all banks of the same class in danger, it'll all be papered over again – bringing them up to some level of stability without regard to how many extra hundreds of millions leaked through Bilt-style errors or sweetheart deals to favored groups. So de facto, retrospectively, all those leaks were "free" to the insiders.
GDP per-capita only works if you're comparing places with similar costs to live and costs to produce.

It's nearly meaningless to use it as a measure of individual quality-of-life without correlating it to the price it costs to produce/consume goods.

This is why the military spending arguments are so weird comparing the US and China. Even omitting the weird bookkeeping that keeps their defense budget supposedly low, it costs much less to produce military goods/services than here.
But that L3 is only on 6 of the cores, the other 6 don't have it. The non-3d cores can clock like 10% higher or more.
I don't believe it is.
I'd be curious to know how many organizations once they get on DataDog get off of it, despite it probably easily costing $40k/mo between log ingestion/indexing, span/trace/APM storage, monitors, etc. for smaller tech companies.

Yes, you can do it all yourself open-source, invest engineer time to keep it all running. Pay for cloud infrastructure, run DataDog-like/clone UIs...

There's just something about paying top dollar to get the "crem de la crem". That isn't to say that there's just a certain level of polish missing from all open-source alternatives (some of them probably even strive to be drop-in replacements/turnkey)

but DataDog is a $40b company for a reason I guess?

That 1-5% of polish missing from opensource is worth $40b I guess? Is that a good number to represent "what is missing in 'free' solutions versus DataDog"? 5%? Might be underselling it.
Its bloat of information
It's untrue, it is used everyday on all our Gen3/Gen3+ reactors (our Gen2 are able to do it too, but it does cost a lot as core monitoring is more costly for them)

I've found this https://www.oecd-nea.org/nea-news/2011/29-2/aen-infos-suivi-... even if it isn't really clear, you have a graph that show you a typical year on a french reactor, and load followinf the german reactors used to do over a day.
Nvidia overtakes Microsoft as most valuable stock in the world
There isn't enough transmission line capacity to transfer all of it.
Fun fact, it's reported that the new Rolls-Royce Spectre 2024 turn signal's sound was created by combining the sound of finger nail tapping the car's aircond vent metal and the sound of a couple wine glasses touching. The resulting turn sound signal remarkably turned out to be exactly the same as normal turn signal in any other car, pardon the multiple puns.
In my mind, having a separate bank account is no different from being a physically separate human being. The taller partner will be the one who grabs more things off of high shelves. The partner with a higher salary will pay more of the bills. I don't think it's fair to characterize this arrangement as a lack of commitment.

However, my wife and I do not particularly struggle financially, in part because we do not yet have children. We both have careers and steady incomes, so our individual spending habits are not a major source of conflict. We expect to have a joint account when we become parents. This would be especially important if one of us stopped working.