skysight-inc/HackerNews huggingface dataset:
Building safe abstraction around unsafe code works, because it reduces the scope of the code that has to be reviewed for memory safety issues.

Instead of the whole codebase being suspect, and hunting for unsafety being like a million-line "Where's Waldo?", it reduces the problem to just verifying the `unsafe` blocks against safety of their public interface, "is this a Waldo?". This can still be tricky, but it has proven to be a more tractable problem.
I'm with you, although my personal acronym is SUFR; Start Up, Fail, Recover.

I don't know about anyone else, but I have learned far more from my mistakes than I have from my successes.
What open source maintainers shared with us (Sovereign Tech Fund)
Oh, for an instant, I felt I'm a real hacker like the ones you see in movies! Just randomly press any key on the keyboard, and it will generate chunks of meaningful text quickly. Long-press any key, and it starts behaving like ChatGPT when generating an answer.
racket does not differentiate between () [] {}, so you don't have to use square brackets if you don't like them.
No, it's not just down to stretching although I remember being told that as a kid when asking about "snake ladies" in circuses. Yes, the stretching and training is necessary but all the stretching and training in the world won't help you bend like this. Some people simply have hypermobilities (often from connective tissue disorders) and these can allow them to bend themselves into a pretzel. The stretching and training is as much for learning how to take it to such extremes as it is for learning how to do it (relatively) safely. Of course these conditions can still often lead to complications and often have other negative impacts like chronic pain, frequent bruising, slower healing and a tendency to dislocate various joints.
> Theoretical physics is highly mathematical, but it aims to explain and predict the real world. Theories that fail at this “explain/predict” task would ultimately be discarded.

Still waiting for theoretical physics to discard string theory, as it fails in predicting anything.
I suspect it's more at a program level. Boeing have lost a lot of money on Starliner, may lose a lot more, and already seem lukewarm on continuing with the project. It's actually NASA that's keener on keeping it running, so that they are not entirely dependent on SpaceX for human spaceflight.
This. I was tasked with upgrading Postgresql from a very old version (I think 9?) to one that was still supported a couple of years ago. Backwards compatibility is paramount and from my experience upgrading MySQL/MariaDB I know that changes in versions can break it.

For this reason, I chose to upgrade to version 11 because it was only a couple of versions apart and still had repositories available at the time.

So the first thing I do is stop the VM and take a snapshot. Then I start it back up and go check for database corruption before I dump them... wait there's no utility to check for corruption...? Yep that's right! You basically have to YOLO the whole thing and hope it works. OK...

So I dump the databases and back up the directory. I shut down the old version and then install the new version from the repo. I start to import the databases and notice in the scrolling logs that there's some incompatibility... Oh F*$&. I google the error and spend a good hour trying to figure it out. Apparently there are external plugins for postgres that were installed in the old version. I search for the plugins online and they are long discontinued. OK, so let's just copy them over from the old version. I stop postgres, copy them over, and start it back up. It starts up ok. I reimport the databases and no more errors. Yay! I start the applicationsand pray to the SQL gods. So far so good, everything seems to work.

Thankfully the applications tested well and worked post upgrade.

All of this was done for a critical multi-million dollar healthcare platform. There were no official guides. Nothing. I had to find some random admin's blog for guidance. MySQL on the other hand has full documentation on just about every aspect of everything. The whole process was super hackish and not having any way to check database integrity would have been a show stopper for me had I designed this configuration.
With Satisfactory's recent 1.0 release and Factorio 2.0's upcoming release, I'm really loving that factory games are being recognised more widely. They're incredibly fun, addictive, and rewarding. I've sunk quite a lot of time into Satisfactory but less into Factorio. Perhaps 2.0 is a good time to start.

Satisfactory has a range of useful tools like this to plan your factory (if you don't want to do it manually), and they can quickly explode in complexity.

At first it's mind-bogglingly daunting but breaking it down into smaller parts then addressing them down the DAG makes it more digestible. When you finally complete an end goal it's very satisfying.
Revolutionizing SQL with pipe syntax, now available in BigQuery
AI Drum Packs
You mention SD Cards.

The SD Card was developed by two Japanese companies (Panasonic and Toshiba) and Sandisk.

VHS is another Japanese standard, adopted by multiple manufacturers.

Then there's the MSX standard...

Japanese industry is no doubt somewhat different and may have its issues. But I don't think it's as simple a picture as you paint... some external factor is often required to force large companies to cooperate. Those factors may be more common outside Japan, but I don't see that the fundamental issues are very different.
Xara was never fully open source. They kept the renderer proprietary, so it never really had a chance.
> Think of life as one long trial. The narrative you weave is not for your benefit, really.

I like the trial metaphor, but disagree about who it is for. It has to be for yourself. How you explain life, your actions, etc is only for you - it is an end in itself - and you have to be happy about it.

Alternatively, you can consider the idea that once you die, you then become the judge at your trial. How do you find yourself - guilty or innocent?
This is just my normal approach to life, owing mostly to low conscientiousness (and probably unmedicated ADHD).

The result has been thousands of side projects but nothing I can actually put on a portfolio or monetize (and as a result, poverty).

It's sort of bizarre and hilarious to see people glorify and promote it?

Do normal people have to make a significant conscious effort not to finish what they start?!
Back to basics and it's going to be fast. No tracking, no suggested other things people buy, no ads, no framework loading...
Actually, if you don't care about the size of your small number, use `i32`. If it's a big number, use `i64`.

`isize`/`usize` should only be used for memory-related quantities — that's why they renamed from `int`/`uint`.
I'm replying to the "the worst possible option on Linux", i.e. when the said software is not available in package manager. 7-zip is just a (bad) example; since you can install 7-zip using `choco install 7zip.install` on Windows too.

I meant to say when you can't find the software you want in package manager, it's easier to download it manually and install it on Windows than (again, unfair comparison) a terminal-only Linux server.
There are lots of claims to first, so "one of the first" is best term to use. ENIAC happens to be most well known thanks to information bubble.
Yup, I suck at graphics, but I know when something is awful, and oftentimes I have an idea as to how it could be better, but then again, I am terribly incompetent at graphics.
at the time I wrote the comment, the only description was "OpenVMM is a new VMM for Windows and Linux, written in Rust." without even specifying what VMM referred to.
I suppose they mean the pop-culture term "hacker" which is someone who breaks into digital systems in movies etc.

In which case, it has everything to do with Cybersecurity.
>> It was reported
>You should read your sources. It confirms what I wrote and contradicts what you wrote.

It most certainly does not. Maybe english is not your first language? Here is a story in spanish about how France gave EDF 2.1 billion euros in 2022.

https://cincodias.elpais.com/cincodias/2022/02/18/companias/...

"We're not going to nationalize it" said the politician. Months later, they paid another 10 billion euros to do just that, here is the story in dutch:

https://www.volkskrant.nl/economie/macron-biedt-10-miljard-v...

So in 2022, France gave EDF directly over 12 billion euros. Saying they had 9 billion in profits when they were given 12 buillion by the state is a bit odd.

Surely a cool free 12 billion on top of the "insane profits" they generate on their own can't be less than the money they were given?

A grandfather who spends money using his grandchildren's credit cards is not profitable. And that is basically what EDF is doing.

The sad fact is that France has dug itself into a hole. They have a huge industry around nuclear, which is at the end of any pretense of profitability with an enormous mountain of unpaid costs coming up in the centuries ahead. This will be a burden on France's economy - the credit cards have run out, now the grandchildren have to pay.
We joke that our small cat (she's old but small framed and lightweight) can put her entire body weight into every individual paw at the same time when she wants. You can pick her up and she'll weigh next to nothing and she can run over you like a feather but she can also simultaneously have four lead columns for legs if she wants to. I'm convinced cats are four dimensional or something.
Comprehensive Pitch Deck Template by Deck Studio
Our comprehensive pitch deck template is designed to help startups create professional, investor-ready presentations. It's easy to use, fully customizable, and covers all key sections needed to impress investors and secure funding. It includes 47 slides optimized for PowerPoint and Google Slides.
> Theoretical physics is highly mathematical, but it aims to explain and predict the real world. Theories that fail at this “explain/predict” task would ultimately be discarded. Analogously, I’d argue that the role of TCS is to explain/predict real-life computing.

No this guy doesn’t get it. He doesn’t understand what science is.

In science nothing can be proven. If I say all swans are white as my hypothesis this statement can never be proven because I can never actually verify that I observed all swans. There may be some swan hidden on earth or in the universe that I haven’t seen. Since the universe is infinite in size I can never confirm ever that I’ve observed all swans.

However if I observe one black swan it means I falsified the entire hypothesis. Thus in science and in reality as we know it nothing can be proven… things can only be falsified.

Math on the other hand is different. Math is all about a made up universe where axioms are known absolutely. It has nothing to do with observation or evidence in the same way science does. Math is an imaginary game we play and in this game it is possible to prove things.

This proof is the domain of mathematics… not science. Physics is a science because it involves gathering evidence and attempting to falsify the hypothesis.

Einstein said it best: “No amount of experimentation can ever prove me right; a single experiment can prove me wrong”

Basically newtons laws of motion are a perfect example of falsification via experimentation with relativity later being confirmed as the more accurate theory that matches more with observation.

So what’s the deal with computer science?

First of all the term already hits the first nomenclature issue. Computer science is ironically not a science. It lives in the same axiomatic based world as mathematics and therefore things can be proven in computer science but not in science itself.

So this nomenclature issue is what’s confusing everyone. The op failed to identify that computer science isn’t actually a freaking science. Physics is a science but computer science isn’t.

So what is computer science? Sorry to say but it’s a math. I mean it’s all axioms and theorems. It’s technically math.

CS is a math in the same way algebra and geometry is math. Physics is a science and it is not a math. It’s a totally orthogonal comparison.

Your job as programmers is more like applied math. It’s completely orthogonal to the whole topic but People often get this mixed up. They start thinking that because programming is applied computer science then computer science itself is not a math.

Applied math ironically isn’t really math in the same way writing isn’t a pencil. Yes you use a pencil to write but they are not the same. Same thing with computer science and programming.
Trying my best to put this politely, but this reads like a list of excuses.

If you have dependents and a stable income is important then by all means, wait for the perfect conditons to arise (they likely won't - or when they do, everyone else will also be taking advantage of such conditons).

Otherwise, take the plunge. Reduce your expenses e.g live in crappy apartment to save money and go all in on your dreams
In the typical Western sense of the word Atheism (that is, not just as a label defining the lack of belief, but the specific instance of ideas/people) is not another "religion," but it's absolutely another "belief system" that often comes with the same set of beliefs about various things.

It's largely an intellectual distinction, because in practice everyone still acts and exists in the world. Identity itself is probably impossible without having some sort of story about who you are.
Do you have a bible with photos ? I only have one with text. /s
To extend the article's marriage analogy, in this case you would be highly invested in a small number of partners you really care about, but also having a bit of fun on the side.
using new for each node and value, combined with virtual dispatch tends to be a c++ anti-pattern. It looks like you are writing other languages in C++ syntax, motivated by promises of speed.

The actual benefits of C++ come when you approach problems differently. This is a case where more exposure to C helps you avoid all the Java isms.

Things to consider:

- can you allocate memory for the whole system?
- can you make types homogenous so they can fit in tight arrays (unions are common for nodes)
- can you batch similar types
- specially for auto diff/math can you represent operations as a stack instead of a tree?

I am only bringing this up because you said your goal was to learn C++.
Is this good to try out?
The original question was about LLMs, and what OpenAI provides is out of LLM definition (they have caches, "memory", undocumented o1 Chain-of-Thought and so on). Also I am pretty sure that they collected a zoo of hardware with autoscaling and per-client parallelism. And if you change number of threads even basic bricks like matrix multiplication produce different result.
Isn't this the difference between a voucher benefit and an expense claim though?

Let's say you make employee of the month and receive an amazon voucher to be spent "treating yourself" but instead use it to buy a gift for your spouse.

Is this fraud? You made no false claim about how you would use the money. You did receive it with a specified use though.

What if your employer gives you a £500 a year raise and states it is to cover the additional costs of work from home. But you already have a nice chair so you but groceries. Is that fraud?

Seems borderline.
Support for older versions of Office and Exchange will end in October next year
Personally, I'd say it's situational advice.

I like open source software. And I could write some code that works for me, then generalise it to be useful to more people, then increase the robustness so it's easier for users who aren't the author, then clearly document it, then make a flashy website for it, then do branding and marketing to get users, then add support for OSes I don't use and languages I don't speak, then build a community of contributors and maintain a presence on reddit and twitter and stackoverflow and discord and github and mailing lists, then engage with the community with polite professionalism at all times, then do paperwork like choosing a license and a code of conduct and a security policy, then convince major distributions to package it, then maintain it for 30 years.

So long as it's a recreational hobby, I'll do whichever steps I feel like. Marketing? Support? Fundraising? Test coverage? Nah, I don't think I will, I'd rather spend that time going on a bike ride.

On the other hand, for things that aren't a recreational hobby? That might be a different matter.
> but there's simply no good explanation of how it was imprinted.

I think i saw the word "paint" somewhere.
Are you sure you're not talking about birds?
Yes, I'm afraid of rejection, but not of being rejected, but rather of spending my time rejecting people instead of doing something pleasant or useful.
That's not what it says at all. In that quote Stallman makes a distinction between pornography that depicts real children and drawings, which he claims hurt no one.

This distinction is also made by the law in the USA, so this quote merely reflects USA law.

You can disagree with this quote and even find it gross, but to claim this quote aims to normalize CSAM is a blatant lie.
This is such an odd thing to read & compare to how eager my colleagues are to upgrade the compiler to take advantage of new features. There's so much less need to specify types in situations where the information is implicitly available after C++ 20/17. So many boost libraries have been replaced by superior std versions.

And this has happened again and again on this enormous codebase that started before it was even called 'C++'.
> Asterinas: OS kernel written in Rust and providing Linux-compatible ABI

> Currently, Asterinas only supports x86-64 VMs.

So no real hardware.
I’ve read all of the FFFs as they came out. I have a feeling that between space platform constraints, spoilables, and recently revealed heating mechanics, they may have taken the logistics puzzle idea a bit too far for the average player. This is coming from someone who has finished Space Exploration (spaceship victory, not the crazy secret puzzle victory).

Guess I’ll have to wait and see for myself when I have organized my life around another Factorio dive.
Sorry I wasn't very clear, it's totally on me.

On average, the experience of upgrading/managing packages is obviously much better than Windows.

I meant to say in certain cases (like the `unzip` example I mentioned above), when the system's build-in package manager fails, I seem to not be able to find alternatives like what I did on Windows (just find the piece of binary I want and manually install it). I to this day still can't find a way to update `unzip` to a version that supports AES on my Debian VPS.
Let’s procrastinate while telling ourselves we are onto something.

Hacking?

In my world, hacking includes hacking your brain to finish what you have started.

This is more of a cracking.
People are also multifaceted.

My dad was a pretty great dad, but when he split with my mom he did some pretty dick moves.

I have no trouble to simultaneously hold those two facets in my mind when my mom rants about him.
If you sorted H1B applications by salary and only let in the top XX highest paid, then the allocation would simply skew heavily towards tech in Silicon Valley, TX, WA, MA and finance in NYC, and almost none would be allocated to Kansas, Alabama, Mississippi, etc., and not much in lower-paid sectors. And if you only compared to median wages by state (not county, or metro area), then lower cost-of-living areas like Folsom CA would get hugely penalized for being stuck in the same bucket as SF/SV. (Also by the way now employers would have to compete against each other on raw salary, not stock grants, so you're removing the incentive component for early-stage startups, and raising their effective tax rate, which breaks how they're set up.) Arguably instead H1B should enforce some reasonable minimum salary, based on metro area. (don't confuse that with minimum wage).

So if you want to reform things you need to construct something less simplistic which can't easily be gamed. (What you're describing is like Canada's Provincial Nominee Program, which is ~35% of their economic admissions, but it grants permanent residence, not just a work visa.)

Anyway a less-discussed backstop solution to prevent abuse in H1B is to shorten (legislate) the maximum time to acquire (employment-based) Green Card - it originally used to be <6mths, now it can easily be 10+ years (from the date the employee first arrived on F1/H1B/L1, not the date the GC petition was finally raised, which can itself be 5+ years after that if the employer drags things out, which happens).
With NIST finalizing their first post quantum secure cryptographic algorithms a couple of months ago, and the current misinformation spreading through sloppily written technews regarding the progress made by the D-Wave team, the quantum threats towards cryptography have become a hot topic in our news cycles again. I've put together a weblog that looks past all of that drama and buzz and provides an actual technical explanation of everything going on.

The post covers how far we are regarding quantum computing, how Shor's algorithms work, an intro to lattice based cryptography and some tips on how to migrate to post quantum secure protocols. All of that with simple examples and visuals, to make it as accessible as possible, while not witholding the juciest bits of math from you. Don't hesitate to give me feedback on how you liked it:
For scale?
Ah, I hope nobody ever uses that additional bit for additional encoding. That could cause all kinds of incompatibilities...
The power of the NCIS series! So unrealistic in so many ways, that it becomes fun to watch.
Considering how Civ' impacted my student years, I wowed to never touch it again. I thought I would never suffer addiction - I was wrong.
I remember watching the company I worked for in California lay off Americans and replace them with Indians. For all the talk about “prevailing wage” and “shortage of talent,” I just remember seeing it with my own eyes. One guy worked there till he was in his 60’s, built the company’s entire software, yet was kicked to the curb.
It is less safe for women than men unfortunately.
Theoretical situation: I'm Canadian, I don't have a degree at all. If I found a startup that is incorporated in the US, but I'm still in Canada and most employees are outside of the US (although not exclusively), is there a "level of success" at which I might be considered for some sort of residency visa in the US? Suppose I wanted to, for example, open a physical office in the US for the already formed startup.
> In science nothing can be proven.

Asking here because it is mostly on-topic: This phrase is repeated often, but shouldn't it actually be, "In science, a hypothesis is either fundamentally verifiable or fundamentally falsifiable, but never both"? The two simply being the logical negation of each other.

"All swans are white" is fundamentally falsifiable (by seeing a black swan) but not verifiable, as you described.

"Black swans exist" is fundamentally verifiable (by seeing a black swan), but not falsifiable.
More like you need to be off every October and November to start playing the expansion when it drops.
Hacking TVs was a favourite pasttime of mine. There's nothing quite like flashing a TV with AOSP such that it thinks it's 55" smartphone. Lock screen and all.

See if you can find a service manual for your TV. You'll want to get UART as soon as possible.

Just remember crashes are for chumps: https://gist.github.com/Benjamin-Dobell/bb13f6169aaa48625453...

PS. I think that may be my favourite piece of code I've ever written. Mostly because it's completely absurd but worked just fine.