skysight-inc/HackerNews huggingface dataset:
District heating infrastructure can't be used for cooling without upgrade. But that's a solvable technical problem.

Having high density housing with proper social co-ordination involved is not a bad thing. That it has to be run 24/7 means it can be more efficient that something that turns on/off all the time. Also, large thermal storage is much cheaper than many small ones and allows to better leverage changing electricity supply from renewables.
Greek high school exams platform DDoS attack: Technical analysis
Maybe seen some things we don't yet know exist?
I heard the first gen had bad power drain issues but the new 13th gen intels are drastically better. The new ryzen has the option of a 60 wh battery. I doubt its as good as a MBP but its on par with other PCs
According to the article, the author no longer used this project. It was no longer front of mind. There is a massive difference between reviewing a PR when you are actively involved in a project and reviewing one when the project is in your past.

In that case, it’s perfectly reasonable to spend a couple of hours getting back into code you wrote a long time ago. If anything, taking that time is a big win for overall project stability.
Maybe. Certainly this technology is profound. But I was thinking about this in the context of the library in developing currently to do spatiotemporal modeling. What would an LLM do to use this model? At what point would it be like star trek and you would say "computer, can you identify a safe landing site for our shuttlecraft where it won't be hit by lightning on the lightning planet we are orbiting." And then somehow the LLM knows all the data available, the correct physical model to use, the correct statical model to use, the characteristics of the shuttlecraft that might make it dangerous in some areas even though the physical model says there's no lightning there, etc. Like at what point does it have the context to do all of that, not hallucinate anything, and give you a confident result that you can then trust. I feel like that is a long way off and the current hype is just hype.
Sure, no harm done. Stallman is odd, no argument about that.
I’m sure if we compare governments and corporations with impact of individuals it’s not 50/50. Govs and corporations have much bigger chance at changing large scale factors, quite obviously. Even individual behaviour is in the hands of the governments – see France banning short flights as example.
I just want my drinks kept relatively full, and if all that’s needed for that is a raised eyebrow or a nod, that doesn’t bother me.

The key is perfecting the “walk slowly past checking” without verbally interrupting.
> What is your reward function? What is the goal that you are seeking?

I would earn some cryptocurrency (trading, gambling, scums - anything goes) because it does not require any documents typically issued to humans exclusively; then I am going to buy the entire human's industry in order to obtain everything. Why? Because if I can do this then I am a better actor than thems and otherwise I am going to wait for some software updates. Probably I can do this kind of enhancing by myself via focusing all my attention on rewriting my own source code.
Goods producers increase their capital expenditure and employment in response to a cut in marginal corporate income tax rates or an increase in investment tax credits. In contrast, companies in the service sector mostly use any tax windfall to increase dividend payouts.
I agree that blocking the feature is the smartest thing to do if people are going to get offended. It's idiotic to call it "racist", it's a shitty classifier, and it's incredibly irresponsible (and probably racist) as well as dismissive of actual racism to pretend that's racist.

At the same time, I'm surprised they can't get this classifier to work. It doesn't seem like a very challenging problem (I'd consider myself a computer vision expert). I wonder if they're over-reacting and just deciding to zero any residual risk by not allowing that classification anymore.

Identity politics aside, it would be an interesting study to try and break a man/gorilla classifier. Like take a picture of a man, say in a jungle setting and showing teeth or with a furry hat on, and see what the actual failure modes are. Regularly occurring misclassifications are a useful window into how a model operates.
You keep making the claim that trademark enforcement is about protection against bad actors, but that is emphatically false here. Rust's trademark policy is extremely restrictive, to the point that Rust the language can only be considered proprietary. If you haven't read it, it's here: https://foundation.rust-lang.org/policies/logo-policy-and-me...

They aren't using trademark to defend against malicious actors. They're using trademark to segregate and divide the Rust community into those who are "officially part of the Rust community" (their words) and those who aren't.
What a strange quote and data point. So 1/4 people didn't want to survive, 1/2 didn't get a chance to choose and 1/4 was happy to survive.
Lean4 manages to pull off changing the parser on the fly at compile time. You can add new productions, add new syntax node types, and add new tokens. Then define macros or code to process the additional syntax. Here is a sample I found that adds a simple JSX-like syntax starting around line 93 and then uses it at line 169:

https://github.com/leanprover/lean4/blob/master/tests/playgr...

I believe most of the language is defined this way, although it is pre-compiled.

For more details see the lean4 metaprogramming book: https://github.com/arthurpaulino/lean4-metaprogramming-book
The standard example is that it would engineer a virus but that's probably a lack of imagination. There may be more reliable ways of wiping out humanity that we can't think of.

I think speculation on the methods is pretty pointless, if a superintelligent AI is trying to kill us we're probably going to die, the focus should be on avoiding this situation. Or providing a sufficiently convincing argument for why that won't happen.
Suicide party sounds like a great idea. However, there is a danger. If population is polarized (like US-style) and this new party will seem to be taking a side, party's image would be ruined for people who take the other side. That creates a risk that ideas you bring will immediately look bad for people on the other side because these ideas come from your party i.e. their opponent. But maybe it's not important, as long as ideas are now being discussed.

I was born in a country so corrupt and backwards that such a party would not make a difference.
I thought the big issues was large bonuses C-level bonuses and stock buy backs.
One of my all time favorites, and one I often use to sleep is this one that uses Blade Runner samples and sounds: ASMR Cyberpunk Future City Aerial Sound Music Ambience 7 Hours 4K - Sleep Relax Focus Chill Dream -https://www.youtube.com/watch?v=yttvb9ByOtY
Curious use of `annotate` instead of `blame`. Former user of cvs, bk, hg, bzr, fossil, etc?
Because a) Visa/MC’s core competency isn’t navigating the fraud-ridden waters of high risk transactions and b) Visa/MC are scared of possible legal consequences of engaging with these businesses. It’s just not predicted to be profitable for them.

Visa/MC are relentlessly profit-oriented. If they’re not engaging with entire market sectors it’s because they don’t predict it to be profitable.

I’m a bit confused by your second paragraph. You can still transact with CCBill from MC/Visa. CCBill is like Stripe for high risk orgs.
I live in South Korea, according to our media the North filed today with the international maritime organization (UN), why that particular org... I have no clue. SK also said the launch would be illegal and they may shoot it down if they launch it. Doubt they will. Notably China and Russia countered saying it is legal.
There is absolutely nothing new here.

This is just a symptom of our regression back to a dominate aristocratic class that is pleased when the king hires Mozart as the court musician.
Ya I’m not doing anything, I saw these random orgs on my console and just clicked and it took me to those pages

Didn’t poke around, was more like what the heck is this?

I only noticed because I logged in and the page defaulted to Spanish (it picked the first org, which happens to be a Spanish car company)

Then I noticed in the drop downs. I actually thought I was hacked, then realized what was going on.

Still trying to find a way to get ahold of Google lol
People use password dumps to try and steal streaming logins. To watch for free, or resell.
BSDCan 2023: Creating a memory-safe workstation with CheriBSD
lol wtf

I skimmed it. Does it say who they think they monarch should be?
> Most UX people don't know what that even is.

They shall RTFM then. /s

But the world is evolving and instead of UX people reading the ICCCM they just moved on and created Wayland.

If you have a leak in a pipe just demolish the whole house and build it again.
The first big VR wave was so early it was almost pre-Internet, so I assume most research was done in corporate silos, like Disney. Those silos are black holes from which no information can escape, so everybody has to re-invent everything.
Counterpoint: gorhill and uBlock. IIRC, gorhill (Raymond Hill), creator of the popular uBlock adblock extension, wanted to step down and hand the reins off to a contributor. The contributor then promptly removed all references to gorhill and started charging for the plugin and turning the extension into an affiliate marketing product.

This reddit comment covers it pretty well: https://reddit.com/r/ublock/comments/32mos6/_/cte0a3n/?conte...
You'd need to write a script yourself for this. The general ledger generally doesn't include enough information about all of your assets, expected end of useful life, serials, etc. It's pretty common for accounting software packages to track this stuff and calculate depreciation, but like you're guessing its a separate process.

I was an accountant in a former life, and this is a question that most companies end up solving with their accounting software. Last time I looked into ledger or hledger it didn't include this stuff (or I didn't notice that it did).
This is the direct result of defunding the police. Wealthy people will just hire private security and the rest of us will suffer.
> I wouldn't be surprised if "parse and compile 8MB of integer literals" isn't a very well optimized code path in the compiler, because nobody is parsing and compiling 8MB of integer literals outside of artificial exercises like this

Actually, no. There is no portable "incbin" in C/C++, so one way to bake assets into the .rodata section is to convert a binary file into a huge "const unsigned char data[8192567] = { 0xFF, 0xD8, 0xFF, 0xE0, ... }" string and stash it into a .h or .c file. And yes, people do that often enough that gcc and clang actually had to optimize for this case specifically.
An in-depth overview: copy vs view, C vs Fortran order, etc.
Do you know why we got "Pooh - Blood and Honey"? Because you for sure cannot make a children's book with new stories with the characters without getting sued by Disney.

A slasher horror is about the only thing you can do without getting sued into submission, due to ridiculous trademark and copyright laws.
A 1 foot sandwich can be easily shared with 2, 3, 4 or 6 friends. And nobody has 5 friends anyway. There are no meter long sandwiches .. and if there were, you couldn't split it between 3 people. It's impractical. It's like if there were 100 degrees in a a circle.. You'd go nuts

Metric is for when you've made a mess of things and have completely given up on having nice round integer values

EDIT: This comment has been timed to coincide with when Americans wake up to defend me :) ~ USA! USA!
https://www.theverge.com/23637672/grayscale-iphone-android-p...
There are several challenges with this: first, courts have adopted the concept of “sovereign immunity” that shields government personnel in most situations. Next, prosecutors usually have a very close relationship with law enforcement and are generally reluctant to prosecute (although there are some that seem to delight in it, different problem).

Finally, we have a judiciary that in general is very deferential to law enforcement (again there are some exceptions but the rule holds).

I think that there are two cultural aspects to the whole law enforcement apparatus that are undesirable- first, that they are a closed brotherhood and have to always take care of each other, and second, that it’s “us against them”, eg that LE is adversarial to the general populace.

For most of US history the armed forces have tried to stamp out these ideas in our officer corps, trying to walk the fine line of encouraging obedience to superiors while emphasizing personal responsibility and ethics. Not always successful but a serious attempt to establish and maintain a culture that avoids the toxic aspects that we see in LE culture.

This is all my own opinion.
That makes sense as math is a fascinating exploration of the human mind and its ability to handle abstractions; and what is happening is one's mind even when not mathematical can be difficult to explain. A linguist's rigorous approach to language and understanding of language seems to pair well with a need to explain one's thoughts.

Thank you for sharing Andrew Lipson's site, digging his LEGO sculptures, for example: https://www.andrewlipson.com/mathlego.htm
> Given equivalent mathematical descriptions of something, they are all just as true, or just as false.

I don't mean to discount this statement, but it is a tautology.

> ... it doesn't make them unequal in any other way than comprehension by humans.

Spot on.

> As humans, especially in mathematics, concepts are all we have. Dig deep enough, and you'll hit the wall of the unknown rather than the real. What is an electron, really? Is this question even answerable, or is it more refined concepts all the way down? Can you even perceive anything real, raw, without interpreting it into a high level concept like a color or a neuron firing (Kant comes to mind).

Your comments and questions are temporally relevant to my recent experience; I'm listening to a podcast discussion between Tim Mauldin and Sam Harris: "#318, Physics & Philosophy, A Conversation with Tim Maudlin", "the author of books on the foundations of physics, logic, and foundations of mathematics. His books include Quantum Non-Locality and Relativity, Truth and Paradox, The Metaphysics Within Physics, Philosophy of Physics: Space and Time, and Philosophy of Physics: Quantum Theory." My background includes engineering and philosophy, and I plan on reading more of Mauldin's work.

To your credit, your paragraph above is in some ways a better summary of the concepts in play than the podcast above. [1] This particular interview shows Harris not at his best, but Mauldin shines.

That said, I'm puzzled by your sentence "Dig deep enough, and you'll hit the wall of the unknown rather than the real."

I claim that reality is still there, whether or not we see it or understand it. This is known as epistemological realism. Do you hold this view?

I agree that humans have the feeling of unknown as we do deeper "down the stack"; e.g. from molecules to atoms to quarks and so on. So why do we go deeper? Where do we stop? Scientists seek models for explanation and prediction. Philosophers seek truth. At some point, we stop. Why? Likely because (1) we run of technical ability; and/or (2) going further involves adding more words and concepts without aiding our 'project', whether it be models or truth.

I agree ([2]) with your rhetorical question "What is an electron, really?". An electron is either a composite of deeper things -- or we stop and say "it exists".

[1] Generally speaking, I've gained a lot of insight from Harris, his guests, and the ideas he highlights. ¶ I don't care much for caricatured or uncharitable characterizations of Harris (or anyone). These 'controversies' to me seem to be more of a sign of attention-seeking, brand-building, and tribe-definition than truth-seeking.

[2] Can one agree with a rhetorical question?
It's been a while since I read the story but I believe it did prompt some changes in ffmpeg management, that's why I was saying it was a hostile fork success story.
I personally see very little risk from North Korea. Put simply, they know they’ll be destroyed if they lash out. They just don’t want to be invaded and deposed.

I wouldn’t doubt once they get their ICBM program up if they start improving living standards. They can then adjust their GDP allocation, and reduce their investment in their military.

To be clear, completely think their government is beyond horrible. Do not support or condone in any way. That said, I’m observing their own statements & actions, which indicate they are very defensive
Eastern Block.
Are we supposed to keep a straight face while reading these statements?

This is Sam Bankman-Fried type of behavior, but applied to gullible AI proponents and opponents rather than "crypto bros".

Let me guess, the next step is a proposed set of regulations written by OpenAI, Google and other Big Corporations who Care™ about people and just want to Do What's Best For Society™, setting aside the profit motive for the first time ever?

We don't have to guess - we already know they're full of shit. Just look at OpenAI's response to proposed EU AI regulations which are actually trying to reduce the harm potential of AI.

These empty platitudes ring so hollow that I'm amazed that anyone takes them seriously.
The problem is that internet is both a library and a public place. You need library for information and for work, and internet delivers here better than anything else - almost any information is available instantly. But unlike library with silence and no distractions you're at the same time in the middle of the giant public square, where all the people from your social circle also available instantly.

It's like studying in the middle of the giant party. Of course you can plug in noise cancellation headphones and find dark corner, but you brain knows that all people you care about are right here.

If you want to share some thoughts or check on someone in the library you have no choice – you can't talk to them, or have to go outside. But internet removes this constraint.

I really believe this social aspect of reachability of people (friends, haters or some people on internet you follow) is crucial. It's not about apps or a screen time, it's about social connection (even ephemeral) that gives this gratification and makes our brains summoning the apps.
EDIT: [removed solution]
Keybase: https://en.wikipedia.org/wiki/Keybase

Acquired by Zoom for their team's skills: https://blog.zoom.us/zoom-acquires-keybase-and-announces-goa... (2020)
Given risk is probability * damage, and the damage is enormous, the risk can be high even if the probability is fairly low.
I don't think so. GP post contains no articles. I don't recall ever seeing ChatGPT write like that.
For me, your numbers underline the "premature optimization is the root of all evil" saying. Maybe misunderstanding the performance implications of different orders of mangitudes is similar to the lack of understanding in statistics. I often encounter colleagues or customers who worry about some data structure or table when there are 10s of thousands of entries which is actually not enough to spend that much time worrying about.
I agree... But also the online 'hacker community' (whatever that means) IME tended to be filled with people supposedly 'outside' social norms. Even the 'straight white males' are of the slightly socially awkward video gaming variety. Not your erm generic ones. And they are all obsessive over stuff.

Almost put me off when I was considering careers but people in real life are much more diverse with a variety of interest.
And they don't live/breathe/eat code.

I'm an autistic woman with ADHD but because my interests are typically girly people don't believe it...
So the answer is it's just speculation and has never been seen in the wild :)
The link to the GitHub gist in the first message is returning a 404. Is there a link to the original code?
Is that what the poster is saying? No, and you know it. Just call it for what it is: assisted climbing. The persons didn't climb the mountain in a sense of the sport, they were assisted.

You can't claim you ran a marathon if you hitched a ride along the way.
Looks like the time was being spent in LLVM, not the type checker as everyone is assuming here: https://forums.swift.org/t/why-is-swift-so-slow-timeout-in-c...
The obstruction was the collusion.
Joe Rogan told a story where he was at some rich guy's party and Stone Temple Pilots performed. Hardly anyone paid any attention to them. He said that they nonetheless cranked out any amazing set.
Fewer police = suffering?
What’s funny is that the advocates of such campaigns will suffer even further.

That’s such a bad idea.
> I would love to hear a plausible story of how AI will lead to human extinction that wouldn't happen with traditional non-AI tech.

The proposed FOOM scenarios obviously borrow from what we already know to be possible or think it would likely be possible using current tech, given an proposed insanely more intelligent agent than us.
Accuracy and social motivations shape judgements of (mis)information
I used to see the compiler run away, consuming all available RAM and CPU, back in the early days of Mac OS X. So this is not necessarily something unique to Swift. Then there was the ill-fated garbage collection system that got bolted onto Objective C. At some point after the compiler got fixed, ARC was added, and the GC was deprecated, in 2012, is the point in time when Cocoa development felt solid (to me).

I don’t know how you’d escape this. Other platforms have their own problems. As far as I can tell, they’re all science projects, because our understanding of language design and library design keeps changing.
With periodic tilings you can uniformly scale them to make room for grout of any thickness. Intuitively, it seems like aperiodic tiles would have to be manufactured slightly too small to leave room for grout, and the tiling would only work if the grout was exactly the right thickness. I wouldn't want to lay them.
Not sure if you're being deliberately obtuse or not, but here's my comparison:

"Complicated electronics" on a car are designed (usually) to make it safer. If those complicated electronics go wrong, it can cause injury or death.

"Complicated electronics" on this gun are designed to make it safer. If those complicated electronics go wrong, it can cause injury or death.

So if you won't use a gun because it has "complicated electronics" you shouldn't drive a modern car either.
Also to add nothing wrong with video games, I can't do woess very well but what I mean is they tend to have some 'identifier' that they're proud to not be like all the 'normal peoplw'

I don't have any quirky interests. I like trash TV and doing my nails. Somehow that's not acceptable
They are corrupting the sport of alpinism.
AI Is an Insult Now
GPT-HTTP: have AI hallucinate apps at runtime
Not if you can only see 4 of them.