skysight-inc/HackerNews huggingface dataset:
And do you know what prevented further ozone layer catastrophe?

When leaders around the world got together and, without input from the people, voted to ban CFCs because the science was clear that CFC pollution was the problem.

Government regulation works. It solves environmental problems like ozone layer depletion. What COVID showed us is that individual freedom is an illusion we choose to believe in when times are good and energy is cheap. There are no libertarians in a crisis. If we want to solve the climate crisis -- really solve it, not pretend to try to solve it while supporting the status quo -- governments are going to have to impose drastic restrictions the public will not like.
This is what you said before:

You'll see the win pretty quickly when you have to search a large range for primes.

This isn't just shifting the goal posts, you are now talking about something completely different.

With the right algorithm you can solve it in Python in a max of 30 seconds

Then you can do the same thing in C++, but when it runs the C++ program will be done 100x faster. A lot of modern C++ is as clean as python if you were being more explicit about types.

With the wrong one, you sometimes can't solve it in C++ in the lifetime of the universe.

Nothing about this makes any sense.

Therefore you should program in the language that you find it easiest to express yourself in. And not in a language chosen for raw speed.

If you continue on with python and need more speed you will run around in circles trying to get it while the C++ version is already done. Anything where speed can be a bottleneck is not fit to be written in pure python.

This pattern plays out over and over again. If something is resource intensive, a scripting language is not a long term solution.
For the reference, 2017 was the year of GHC 8.0. Since your decision to never look back there were a lot of good things.

The standard didn't come out because of some failure to make it. It was mostly the lack of interest that killed it. I wouldn't be betting that some alternative universe where Haskell Prime pulled through had a noticeable increase of adoption because of this.

Looking at proposals, arguments "from standard" don't tend to generate enough support. What wins hearts is alleviating someone's pain without taking disproportionate externalities.
CI jobs cost money, and every new target has a multiplicative effect on the number of job configurations that need running.
Were there not a number of early human ancestors found in Asia?

For instance, homo erectus, the neandrathals, Homo floresiensis
Yet another reason not to install the preview updates.
Good reminder, it would be easier for moderators if more people followed
The irony here is Explorer-1 flew on a rocket developed largely by post-war German defectors.

You'd think a rocket company of all places would know there's clearly precedence of non-citizens contributing to the US development of spaceflight.

https://en.wikipedia.org/wiki/Wernher_von_Braun#American_car...

https://en.wikipedia.org/wiki/List_of_German_rocket_scientis...
BetterMouse – Comprehensive mouse utility for macOS
> To take a simplistic example, even janitors might potentially have access to ITAR controlled materials if engineers threw them out into a bin bound for a shredder/incinerator and janitorial staff are trained and trusted parts of the disposal chain (which they should be!). Anyone might be able to overhear water cooler conversations.

As I mention elsewhere in this thread, if this is really how SpaceX operates then they’re already in (ethical, if not legal) violation of their duty to protect ITAR from dissemination. ITAR documents should never just be sitting in an unsealed bin waiting for disposal. Employees shouldn’t casually be discussing ITAR around the water cooler.

Assuming everyone around you is permitted to handle ITAR is a recipe for disaster.
Conspiracy thinking. Thinking Putin wouldn't go after him is naive and the only surprising thing is that Putin waited as long as he did.
> Observers at a high cosmological redshift cannot watch our clocks at all.

This is true, but it doesn't change the fact that the "time dilation" described in the article is like the time dilation in special relativity, and is not like gravitational time dilation, with respect to what the article is talking about.

> there's no reason to think that the redshift we ascribe to them is the redshift they ascribe to our precursors.

Indeed, there is every reason not to think this. But that still doesn't change the fact that the "time dilation" due to cosmological redshift is like the time dilation in SR, not gravitational time dilation, with respect to what the article is talking about.
it's strange seeing someone with absolutely no pride in their craft.
"They" as in the software developers. I disagree that C as a language has any opinion on whether segfault (or undefined behavior) is an acceptable outcome for user input. That depends on the use case.

Plugins are software, and all software can crash because validation is not just practically but even theoretically impossible for a Turing-complete language. But the fundamental difference is not in whether a crash can occur or not, but in your attitude to the crash: is it a software bug and hence should be fixed, or is it expected behavior and left as is? IMO the former attitude is almost always the correct one if the end user is anybody other than yourself.

There may be performance concerns that make it worthwhile to accept a crash (and that's the reason we run plugins as in-process native code instead of in a separate process or VM) but in the case of nginx I strongly doubt performance would be affected noticeably by validation of config files.
Any amateur IF writer with Inform6 (don't even start with Inform7, where you are basically hand-guided to do very complex tasks) can do much more than you did in weeks but without coherence issues. Ever.

Go play some decent and complex IF from Anchorhead to Spiritwrak, Curses/Jigsaw!, and you'll understand what a proper adventure and its object interaction actually are. I7 and its libraries allows to create stuff like Counterfeit Monkey, where you LLM would suffer a lot trying to implement that semantic monster. And yet, it will run in a Pentium II like nothing with a Glulxe interpreter.
Still seems not to difficult to bypass (if you know it's there).
Sure, they were told back in 2020 they were being investigated for this, updating their boilerplate for compliance with the law is just about the minimal level of compliance.
I’ve never seen a consumer device with chassis intrusion enabled by default. Were these maybe volume orders for a business account? Those can come with whatever configuration IT wants.
They show the benchmarks in the original post, a few pages down
> To this day I am disappointed by the "Point & Click" remakes. It was probably the first hint that society as a whole develops in ways that does not always align with my own interests.

I'm torn by this. I played a lot in the 80s and 90s, and mostly took a hiatus till very recently. I too noticed the games are much easier - even way easier than the 90's point and click adventure games.

However, I also realize that I'm now much busier, and if they were as challenging as the older games, I simply wouldn't be able to play them. I do appreciate that easier games now exist for people like me!

The other thing I noticed: The storytelling in modern games is significantly better!

People still make interactive fiction games that are solely text (think Infocom style), and from what I've heard they are superior to the old commercial ones. So there's always that.
Scientists reveal personality checklist for people who could colonize Mars
Show HN: Stack Overflowed – therapy hotline for developers
You can't vet anyone thoroughly though! You can reply yes I love the united states a million times, read the constitution a million times and still be part of some sect.
If that's your argument, then why, in your other posts on this thread, are you so strongly against letting people choose to not use the phone apps?
Not being able to try it out with giving you my OpenAI API key is a big turn-off. I'm not doing that.
It is misleading, they have been invited to join,

https://www.independent.co.uk/news/world/africa/brics-2023-s...
It's almost like the US government is trying to ensure DoD dollars don't go very far.

More importantly, from a national security perspective, it doesn't make sense to exempt every refugee and asylee from ITAR restrictions. The benefit is negligible to the typical refugee and the risk is immense.
>"Microsoft has received reports of an issue in which users are receiving an 'UNSUPPORTED_PROCESSOR' error message on a blue screen after installing updates released on August 2," Redmond said.

>The company also added that the problematic cumulative updates "might automatically uninstall to allow Windows to start up as expected."

"Might"? What a weaselly way to put it. Either Windows will, or it won't. I realise there's tens of millions of LoC but if we're talking about an update that crashes machines shouldn't you know what the failure mode is before talking to the press?
Back in the day, universities would host all that shit via their mirrors for free for everyone. Not sure where it all is today with the cloud being so prevalent.
I mean "forcefully" literally. You voluntarily enter into a relationship with Uber, AirBnB, etc; and other companies can enter the same market. You don't voluntarily enter into a relationship with the guy who comes into your shop demanding protection money. Nor with the gang who corners the market for e.g. bananas, by "negotiating" with both the producers and the large commercial buyers at gunpoint.
AGI wouldn't forget bullet point 3. how could an "intelligent" human make such an obvious mistake. /s
I have to assume good faith intention to these questions. Here’s literally the raw data showing high resolution temp data of temperature since 1850s. The heat island effect pushed by watt has been debunked since 2011.

https://climatedataguide.ucar.edu/climate-data/global-surfac...
If you define 'life' as "any process that sits at the boundary between low to high entropy to make more of itself, and is subject to natural selection and evolution to produce diversity" then I'm sure there's all sorts of things that can be described that way. Maybe even things as "mundane" as the cloud patterns of Jupiter, or some internal processes inside a star? And would we even recognize these things if we saw them, most of the time?

... But the kind of thing people mean by "life" colloquially is really multicellular or at least eukaryotic life, which only arose on earth like 600 million years ago, which is only like 15% of the time that life in the more strict sense (bacteria/archae) has existed here.
This looks excellent, thanks for sharing.

It also links off to this which looks like a good read https://third-bit.com/sdxjs/
Yes, QEMM was my goto for quite a while for this. I also ran DESQView once I got a computer that could make good use of it.
Holding one's gaze still leads very rapidly to intense visual hallucinations. Just as the mind hallucinates the details in our blind spot, when you gaze fixedly long enough, the entire visual field begins to go - and in the process, becomes a recursive game of visual hallucination telephone.

A clarifying question - are you saying the experience itself that you described was unpleasant, but that afterwards it felt amazing? Was it unpleasant due to the nature of the time dilation?
"You responded to a comment about that sort of bullying with a comment along the lines of "Working with women can be a minefield". It felt like a weird juxtaposition to me."

I did not use those words, this is the second post where I have had to correct wrongful assumptions about what I have said. Why is it that everyone
nowadays automatically makes the worst assumption about anything that's said? This is a very noticeable and nasty trend of recent decades that wasn't common when I was younger.

If I have to spell the obvious out in detail then I will. First, working in my office alone with three women wasn't the first time I had worked with women, there were others in that organization that I worked with and also in previous employment. Second, I was both friendly and behaved properly and professionally with the women in my office. Not only were they my friends but also my closest allies in the bureaucratic wars with other departments (they were part of my IT help desk team and they always had access to strategic information which they freely offered without pressure or bribes from me. We worked well as a team should.

Moreover, they were on a first name basis with my partner who would phone regularly and they would take great delight in talking to her about me behind my back. Being the only male in the office of course I was bullied but in the nicest sense. I was lucky that they all got along well together and all of them with me. Later, I was promoted and moved office, there I was alone this time with only two women both of whom I also got along well. However, that was over 25 years ago and whilst harassment issues were alive and well back then they were nothing like as acute or as corrosive as they are today—it seems that little else permeates the work environment or work culture to the extent this matter does. It's clear to me these unresolved and difficult submarine harassment matters are testament to the fact.

I have been lucky in that I have had a good professional relationships with all women I've worked with but I cannot say that about all the men.

Given the heightened state of the politics surrounding these issues nowadays I reckon I wouldn't be so lucky next time round even if I were to be even more professional than I have been previously.

Simply, had I need to repeat my time over today then I wouldn't repeat that exposure as a precautionary measure.
you'd never tell the mechanic, "...and NO AIR TOOLS!"

Oh, yes, I most certainly would. This is a great example of the tools being there for the convenience of the practitioner, not for your convenience or comfort (I'm sure the reader can draw parallels to child birth on their own).

When you, the mechanic, put the wheels back on you will use a torque wrench and torque the nuts to the proper values. Just I like I used to do 30 years ago when I was a mechanic. Because no one should find out at the side of the road that the air gun torques those puppies to 146ft/lbs, and you're not getting them off with that weenie little wrench that came with the car.
LOL!!! This HAS to be parody.
DNS Forge – Ad blocking free DNS
Which sounds potentially unreliable on a laptop. Seems like a hard knock or even just normal material fatigue might be enough to release the switch.
That is one major problem with conversational interfaces: their abilities are opaque.
The former is referring to representing an AST using a GADT in order to include the typing discipline of the target language in the host language. For example:

data Term t where
Num :: Integer -> Term Integer
Bool :: Integer -> Term Integer
Add :: Term Integer -> Term Integer -> Term Integer
IsZero :: Term Integer -> Term Bool
IfThenElse :: Term Bool -> Term a -> Term a -> Term a

With this AST, you can express well-typed programs like `Add (Num 2) (Num 3)`, but the Haskell type system will stop if you express an incorrectly-typed program like `Add (Num 2) (Bool False)`.

The "Trees That Grow" paper, on the other hand, is about reusing the same AST but gradually adding more information to the nodes as you progress through the compiler. For example, you might want to start with variable names being raw strings (so that a term corresponding to `lambda x: lambda x: x` looks like `Lam "x" (Lam "x" (Var "x"))`) but eventually replace them with unique symbols so that shadowed names are non-identical (so that under the hood it looks more like `Lam 1 (Lam 2 (Var 2))`, although in practice you'd want to keep the old name around somewhere for debugging.)

One way to accomplish this is to introduce an explicit type-level notion of compiler phases, give your terms a type parameter which corresponds to the phase, and use the phase to choose different representations for the same nodes:

data CompilerPhase = Parsed | Resolved

data Expr (phase :: CompilerPhase)
= Lam (Name phase) (Expr phase)
| App (Expr phase) (Expr phase)
| Var (Name phase)

type family Name (t :: CompilerPhase) :: *
type instance Name Parsed = String
type instance Name Resolved = Int

Using this example, an `Expr Parsed` will contain variables that are just strings, while an `Expr Resolved` will contain variables that are integers, and you can write a pass `resolve :: Expr Parsed -> Expr Resolved` which just modifies the AST. (This is a toy example: in a real compiler, you'd probably want to create a new type for resolved variables that still keeps a copy of the name around and maybe some location information that points to the place the variable was introduced.)
This is a really natural extension of CoT. I was experimenting for a month or two with a similar concept in a hobby project this past spring: https://github.com/knexer/llmtaskgraph . I'm really excited to see more people exploring in this direction!

I was focusing more on an engineering perspective; modeling a complex LLM-and-code process as a dependency graph makes it easy to:

- add tracing to continuously measure and monitor even post-deployment

- perform reproducible experiments, a la time-rewinding debugging

- speed up iteration on prompts by caching the parts of the program you aren't working on right now

My test case was using GPT4 to implement the operators in a genetic algorithm, which tbh is a fascinating concept of its own. I drifted away after a while (curse that ADHD) but had a great time with the project in the meantime.
> As long as the time is much larger than it takes to handle the old statement limit it is preserved.

As a library developer, how can I know that?

> The old version might have prevented your code from compiling as mentioned in the notes.

Does it mean that rustc tracks function BC? I think I've misunderstood you.
The headline reads like it was written to get some click thrus.
I'm not saying this will or won't work, but any solution that avoids fixing the original problem seems like a band-aid.

Might not be the perfect analogy, but I think of it as akin to software that exclusively relies on automated garbage collection for memory management.
> do you really get a competitive advantage from one company's switches vs another?

I am obviously biased but IMHO, yes. High end switches are not commodity gear. And a lot of the differentiating secret sauce is in software. So, even if two switches from two different vendors have the same silicon, they might have dramatically different characteristics. That is without going into other aspects like integration with the rest of the stack, quality of support and even lead times.
My dad is having heart surgery performed next month. Thankfully it should not be to bad because they managed to catch the issues early on, but these issues were only discovered because my dad is somewhat active and noticed a dramatic decrease in his stamina and then repeatedly insisted to his doctor that he needed to see a cardiologist.
What property of the "good code" allows them to iterate faster?

Is it because it's perfectly abstracted and encapsulated and SOLID and DRY?

Or is it because it's written in a manner, easy to understand, easy to extend, and easy to throw away and rewrite if necessary?
The previous release, 0.98, was just over 5 years ago:

https://re.factorcode.org/2018/07/factor-0-98-now-available....
Are there cloud offerings to run those models on somebody's else computer?

Any "eli5" tutorial on how to do so, if so?

I want to give these models a run but I have no powerful GPU to run them on so don't know where to start.
Pulseview https://github.com/sigrokproject/pulseview and probably other parts of Sigrok project https://github.com/sigrokproject .

Or since author mentioned DSlogic possibly the corresponding forks of those programs from the company making the logic analyzer.
This makes me lose faith in the justice system, as well as trust in the powers that be. This isn't justice, this is political. And unfortunately, it will even receive popular support, just because people simply don't personally like the CEO of the company.

To heck with truth and justice, let's tar and feather the Muskerino man!
When an issue is at this scale, you have to give some acknowledgment of the issue even if you don't know its cause.
Current parsers are much better than the ones from the 80's. By the 90's they were improved a lot and they will still run in a 486. For instance, most *.z8 adventures from IF Archive (the decent ones) will parse stuff like "Do X, and then do Y and Z and J it.
No, that's the mechanism Google used to install apps, a fake cell tower wouldn't be able to impersonate Google because they don't have Google's private keys. Also, looking at nearly 10 year old information is not helpful for understanding how Android works today.
Unleashing GitHub Codespaces templates to ignite your development
Yes, it's a fair point (and I hope you're right, as a mostly working-class person myself), but it's also not entirely incompatible.

It doesn't cost major companies very much to treat their workers just a LITTLE better. And who earns all the big bucks these days... mostly tech and finance, which are already globalized and tend to treat their workers better than, say, Starbucks. Maybe in a decade or two unionized global capital will be just as much an invisible norm as, say, weekends.

But hey, if that doesn't come to pass and both parties instead focus more domestically... great, I say! I'd love for us to clean up our house.
“Normal laptop” is kind of hard to gauge but if you have a M series MacBook with 16GB+ RAM, you will be able to run 7B comfortably and 13B but stretching your RAM (cause of the unified RAM) at 4 bit quantization. These go all the way down to 2 bit but I personally I find the model noticeably deteriorate anything below 4 bit. You can see how much (V)RAM you need here [1].

[1] https://github.com/ggerganov/llama.cpp#quantization
The world of internet would be a _much_ better place if everyone at least have read this. I tried my best to adhere to these rules in any social network.
Yes. The amount of job postings raises year to year.
> then crypto will help "route around" that well-meaning state, and thereby reinforce the criminal capture of the economy.

How is it possible that these rent-extracting middlemen (whatever it means, mafia?) can _not_ be in control of the state long term? If they capture the profits that power the state in the end, wouldn't it be correct to describe it as a state-in-another-state, state-in-transition or just two-competing-states situation? Crypto seemingly helps with both mafia and the govt for an ordinary user, cause they both have similar powers when it comes to control of crypto txs (almost zero).
Lol, I’m sorry what? Has anyone heard of BitTorrent or piracy in general? You’re telling me AI models/data are too big?

Someone utilize p2p for the love of god. Pretty sure there’s gigabytes of porn moving (freely) through the internet millions of times per day.