skysight-inc/HackerNews huggingface dataset:
It all depends on what each machine is doing and whether you care to pay the premium (and it is a premium unfortunately).

On my personal machine I like to live dangerously - it is running RAID0 and has non-ECC RAM - because everything is reproducible and I'm happy to rebuild it periodically.

On my home NAS, I do the complete opposite (running RAID1, ZFS and have ECC RAM), because it is the primary data store for things I care about.
I would push back on a lot of this. These seem like strategies to avoid getting ripped off by shitty clients, and I'm sure they work, but they're also a strategy to avoid closing business with great clients. Try to focus on the kinds of customers you won't ask for down-payments and up-fronts --- the kinds of customers who will routinely delay a full quarter or two on payables, and you'll put up with it, because they're paying for several people's salaries, and the people you work with there don't control the accounts payable people to begin with.

It is absolutely not better to be 100% utilized. The math at the end of this comment suggests that the difference between 100% utilization and 50% utilization is marginal, but the real pricing difference you're playing with is probably something closer to 2.5x-3x the rate you think is competitive. It is better to be 50% utilized at 2.5x what you were making at the rate that had you 100% utilized.

It's actually bad to be 100% utilized at all; if you are, you're treading water building your business. When you exceed 80% utilization, do one of two things: raise your rates, or start hiring.
Interesting question. Though, there's not really a factory method equivalent to super(). If you want your subclass factories to also call superclass factories to initialize parent state, you'd need to come up with an additional mechanism in user-space.
A pints a pound the world around.
I have only used ECC memory with IBM Power and HP PA-RISC & Itanium systems in cluster configurations. Typically ECC errors only started appearing when one or more fans stopped working. Generally, other system and application errors lead to fail-overs being triggered.

For personal use, I can't justify the increased mobo + RAM costs for a minimal improvement in reliability. RAID for magnetic drives and UPS are better investments for increased reliability.
Second bullet point states:

"Breathwork improves mood and physiological arousal more than mindfulness meditation"

Headline states that it reduces physiological arousal.
The most remarkable thing about "Bret Victor's vision" is how different people have interpreted what his vision even is. His ideas are multi-faceted, so they inspire in several important directions all at once, e.g.:

- "what if" feedback loops (crudely, "live programming")

- direct manipulation (an old idea but beautifully captured in his projects)

- making logic feel more geometric / concrete

- visualizing and manipulating data, especially over time

- humane interfaces (putting "computing" into the world around us, but without AR)

- etc.

Bret Victor is very much Alan Kay's protege and has unfortunately inherited the curse of people cherry-picking particular ideas and missing the bigger picture.

So as others have pointed out, the only person who may be fully attempting Bret Victor's vision is Bret Victor with Dynamicland. You may also be curious to check out Humane [1] which is a hardware startup founded by ex-Apple people. They're rumored to be shipping a projection-based wearable device this year. This device could potentially be a platform for people to experiment more in the direction of Bret Victor's vision.

[1] http://hu.ma.ne
Did you get your dream cybersecurity job? The summary of the article seems to be "basic steps and basic tools to create a website".
Yes, I think we should build more DSL toolkits. Turing-complete languages are too expressive.

If we had a meta-language like Lisp or ML that had very good capabilities to quickly develop DSLs with very clean restricted semantics for every particular component of a big system, and tooling to automate proofs for said restricted DSLs, software would be more robust and easy to develop.

Alan Kay was pursuing parts of this vision at Viewpoints Research Institute. Racket is also very focused on DSLs. Any others?
>There's nothing about the algorithm that says that distance must be the sum of all the edge weights along a path

I think it relies on the assumption that d(a, c) >= d(a, b) + d(b, c). You could relax this of course, but then you're just back to bellman-ford algorithm.

When your distance aggregation is instead multiplicative and you allow multipliers < 1, this no longer holds.

Edit: I see your footnote already mentions this. I agree, the key point here isn't really whether things add or not, it's whether your aggregate distances are monotonically increasing or not. If they are, you can use dijkstra. If not, you have to use bellman ford or the fancier algorithms like the one in the arxiv.
This, as opposed to Antifa "mostly peaceful" riots and fires across the USA, Jane's Revenge graffiti'ing and fire-bombing Pregnancy Centers, and blocking Roads and Traffic of Working Class people the world over...
There's another issue though: people on disability payments often have disabilities that prevent them from working full-time. So in order for them to climb over the financial cliff they've got to find a part-time job that pays a lot more than what they receive from the government. That's a much more difficult obstacle and it keeps people from otherwise taking a low-paying, non-physically-taxing part-time job to earn a bit of extra income. It makes no economic sense.
> not obviously any better than importing LNG or oil

True, because transporting hydrogen is obviously much worse than transporting LNG or oil. Hydrogen is an impossibly huge pain in the ass, and should be avoided if at all possible, because

Hydrogen

leaks through the smallest gaps.

burns in concentrations ranging from 4 to 74 percent.

burns clear in daylight.

reduces the ductility of metals exposed to it (embrittlement).

has shit energy density to boot.
Can you edit prices client side? If not, I’ve seen worse in the wild.
People were scared during the pandemic. Until the fatality rate for COVID goes up significantly, people are going to ignore the risks.
Here in Europe peak electric prices have been far above $1/kWh, rising to around $7/kWh in the worst-hit regions.

Due to the build-out of wind power we have also had a few nights of negative electricity prices in recent months.

If we had a hydrogen energy storage facility, it could probably have recouped quite a portion of its capital costs this year, depending on its scale. Europe will not be building much base load power in the coming years, so the imbalance of the grid will only continue to rise, allowing for more business opportunities in the energy storage sector.
This has always been my struggle with all of this "infinity" maths.

Infinity/Infinity is anything you like and many things you don't and these things always seem to boil down to dividing by infinity.

Visit each room in the hotel in turn, each one for half the total time spent going to and visiting the last. Without explanation of why we can divide infinity by infinity when we want to and not get total garbage.

Banach tarski, infinity/infinity = 2 because the numerator is exactly equaly to (infinity 2) then you cancel the infinity from top and bottom. Also (infinity 3) so clearly 2=3 and this is useful. infinity also equals infinity * infinity so 1 = infinity. As you say odd things happen when you divide by infinity and mostly they don't seem to be helpful things. They seem to be wholly invalid things. But not here?

I'm sure that's not it and I'm totally missing the point, but that point is being skipped over and handwaved away with a sneer and a muttering of "mathematical maturity" rather often.
I hope OWASP can fix their janky toaster/banner when I open the site.
Isn't it already possible to choose which constructor to overload?
Well behind the times. Look at Eric's http://www.brouhaha.com/~eric/hpcalc/ which emulators the original ROMs.

Any simulator almost certainly lacks the numeric accuracy of the original.

I'm the primary numerical programmer behind the WP 34S (https://sourceforge.net/projects/wp34s/) -- essentially a superset of the 15C plus so much more. This stuff is not easy.
There are scenarios where you can record data first, and then train with later access to the space. Then process recorded data.
No need. For the Rust compiler, like most modern compilers, the list of systems it can produce binaries for is independent of which system it is running on. Either the compiler supports the instruction set and executable format used on Mac OS 9, or it doesn’t. If it does, then you could cross-compile Rust code for Mac OS 9 from any other supported system – including cross-compiling the compiler itself if desired. If it doesn’t, then it doesn’t, and even if you managed to run the compiler on Mac OS 9 (through a translation layer or otherwise), it would still only be able to produce code for its supported targets.

An exception to this principle is the linker: the Rust compiler relies on an external linker, and it may happen that the standard linker for a system only runs on that system itself. This is true on modern macOS and Windows. In this case it’s impossible to cross-compile for the target normally (at least without using a nondefault linker such as LLD). But even in that case, it’s possible to separate the compile and link steps, so you could compile an object file on another system, copy the object file to the target system, and run the linker from there. That would be inconvenient but good enough for bootstrapping purposes, so a translation layer still wouldn’t really help.
I single-handedly wrote a custom inventory management system for a Japanese mobility-industry service provider that's in operation for 15+ years. ...crickets.
I don't know how close this is to his ultimate vision, but there is a lot of that in the clojure and clojurescript world, this (old) video of figwheel live coding flappy bird is definitely influenced in his work: https://rigsomelight.com/2014/05/01/interactive-programming-...
A year ago I tested JSON Link compiled to wasm and run in wasmtime and it was around 20-25%. That isn’t bad at all considering it as a cost of running on almost anything. Didn’t see it transpiled to C89, obviously wasn’t available yet, but I think wasmtime compiled it to machine native anyways.
Japan's plan has been to import hydrogen. Probably from Australia.

Nuclear is unpopular since Fukushima, and Japan doesn't have great renewable resources. The country is extremely land constrained -- and although the "renewables require too much land" argument is silly on the American Great Plains, it does hinder Japan.

Additionally, the solar irradiance is mediocre, and their offshore wind would have to be truly floating wind turbines (which are more expensive) because the continental shelf drops away so quickly.
Does not exist as such in German.
Blameless Postmortems and Bayes’ Theorem
Libre Arts – Weekly recap – 22 January 2022
This was my experience as well. I could've gone my entire CS education without even needing to think about state machines outside of a short discussion in a formal methods class and regex, but taking a digital logic class really opened my eyes to the power of state machines. They clarify so much of software design by making implicit and adhoc parts of the design explicit. It really is a shame that most CS degrees don't seem to give state machines the credit they deserve.
At least for other mammals like elephants, primates and lions, breeding doesn’t start with sexual maturity, at least for males.

Older, higher ranked males control the breeding rights. Males often have to either fight for status or separate from the group and create their own breeding pool.

Wouldn’t be surprised that humans do something similar in early cultures since they tend to have highly organized societies, even for females?
It's always annoying that algorithm papers only ever include pseudocode. It wouldn't take much more effort to also throw in a python implementation. It also reminds me of cases where people found the presented pseudocode was subtly incorrect (although the idea of the algorithm still held).
Are there any similar CTF projects that you can download and run offline?
yep. If one could solve the discoverability problem for podcasts they'd make a mint.

The problems, as I see them:

- must be resistant to gaming. Many of the really popular podcasts are backed by marketing money, many of the best ones are buried

- must be able to account heavily for taste. I really love midst, magic tavern, darknet, zzyx (RIP), night vale. Lots of people aren't into fiction so the system would have to have market segmentation built in. like a music app recommendation engine.

- should provide mechanisms to link to other stuff for the podcast. A huge part of the problem for the podcasters is the friction there is to give them money. This is mostly solved by podcast metadata but any good tool needs to display these properly.

as it is, current podcast recommendation algorithms miss tons of good content. There should be more than enough data on me to recommend a lot of stuff that I've had to hunt down Internet 1.0 style by googling and reading blogs.
Are there languages today that embody first-order logic (perhaps Prolog)?
Data analysis in high-energy physics as a differentiable program
Some more tools for detecting privacy violations on Linux:

https://wiki.debian.org/PrivacyIssues#Detection_tools

Lots of different examples of those violations on the page too.
You can record first, and calibrate/train later. Then analyze recorded data.
this is conspiratorial - businesses place big bets on projects that might go nowhere, but they're not trying to burn money to look busy

What researcher wants to accomplish nothing?
Storing hydrogen is substantially harder than storing stuff like methane, or CO2, or even O2.

Hydrogen's atoms are so small they try to pass through the crystalline lattice of metals, making the hydrogen-enriched layer which is more fragile [1]. Your regular polymer hoses are much more permeable to hydrogen.

Hydrogen gas burns with entirely infrared flame, not visible to human eyes [2].

Hydrogen, even highly compressed, is still very lightweight, so storing significant amounts requires either very high pressures, or liquefaction. Liquid hydrogen requires an uncomfortably low temperature of 20K, but starts to freeze into solid state at 14K.

Hydrogen is the most efficient rocket fuel, there's no denying. For all other fuel applications, it's pretty problematic.

[1]: https://www.osti.gov/servlets/purl/1727338

[2]: https://spinoff.nasa.gov/spinoff1997/ps1.html
Random bullets.

* You need to be making 150-200% of your FTE rate to come out ahead in a year

* Bill daily, not hourly (you can bill weekly, or quarterly, too.)

* Raise your rates.

* Count on signing your clients master agreement, not yours

* You can win by getting every contract reviewed, or by just signing them blindly

* Specialize

* Incorporate; it's easy and cheap

* Keep your SOWs vague

* Don’t waste time on your website design (but do write)

* Do go nuts with your proposal design; pay someone to help you

* Target 80% utilization; past that, hire or jack your rates up

* Don’t work with clients you’d want a down payment from

* Don’t hire a salesperson

* Your availability on a calendar is worth money; so is your implied consent to be
terminated on no notice; make sure you’re charging for it

* Get an accountant ASAP

* Do favors; karma works better than ads

* Don’t do conferences/conventions

* You can subcontract at first — most new consultants do — but get out of that quickly.

These are just things I think I learned over 15 years of doing this work; only some of them --- like never billing hourly --- are things I'd go to the mattresses over, but I think they're all generally correct.
So, am I the only one who spent 99% of his time playing in Buy/Build mode rather than actually 'playing' the game? I'm not sure the 'game' part of the game ever really appealed to me, but as a house designer, I kind of liked it.
So are google search results. You have a few really good resources, and many listicles paraphrasing them. With Google completely ignoring the keywords you typed, you end up with a lot of the latter.
> Part of the contract for objects is that you can't interact with an instance before its constructor has run,

This contract doesn't hold anyway, because you can call object's methods from the constructor before the object initialization finishes, and those methods can even call the overriding code in the derived classes. So even though `super` is guaranteed to be initialized fully, `this` is not.
Not sure about opensnitch, but packet inspection on your local network is what Wireshark is all about.

https://www.wireshark.org/
> Do you have any suggestions at all for where to look?

I've bought from Memory4Less in the past and had a good experience. ServerSupply was also a source I used for work, although I don't think I've ever bought anything from them for personal use.

> Also, is it really just lack of XMP and having to OC manually?

Yes.

> My impression was that you could expect extremely little OC to be stable even if you did it yourself.

All other things being equal, I would expect ECC RAM to have somewhat lower overclocking headroom than non-ECC memory, because the memory controller has to drive an additional memory chip with a wider memory bus. However, I generally wouldn't expect significantly worse results than the manual overclocking that enthusiasts did in the past. Obviously, as with any overclocking, your mileage may vary.
Agreed totally. I had a nightmare govt double vpn situation. Very hard to get an account, you had to run ancient OS and Java (it would annoy you with warnings about lack of security/age) and comical password complexity / rotation rules. The result was rampant password sharing but also because you had this double vpn setup, each layer rotating - folks just couldn’t remember passwords. So they outsourced password reset. To reset your passwords you provided your 100% predictable username - that was it. Even I had to get a reset due to an inactivity lockout and I had to laugh at how easy it was after all the silliness - I could have given any username
Internet content is very rarely verifiable. Very few websites cite any sources aside from Wikipedia.
Counting Forest Fires
> Using these tools to mitigate spam is as likely a scenario as this, imagine that every spam mail receives a masterfully crafted response showing utter fascination and interest in SEO, or helping out a Nigerian prince. Every phone call to an unregistered number is answered by an artificial, frail, and forgetful lady that is trying her best to register gift cards.

Right. And who the fuck would pay for GPU time for that ?
Can you clarify? I'm not sure this addresses the parent poster's concerns.

To add, I'm wondering about the susceptibility of such a system to the use of things like compressed air. High-velocity particulate + tiny spaces = potential for jamming/destruction of the components?
What would be a good way to get the very first client if I’m a nobody outside of my tiny friend and colleagues circles?
> Your sidekick should be ChatGPT or any AI assistance you can get your hands on (if you are starting solo) It will help you tremendously.

Copilot has been found to spit out copies of code it was trained on. You don't want to violate your contract with client, nor expose client to IP theft or GPL taint.
C4 is somewhat nice bzt kind of optimized for the monolith. (I actually do like monolithic architectures and quite a free applications fit there ). It just isn’t great if you want to document pipelines etc.

As with arc42 a colleague phrased it best: “it sounds good, but I have yet to find a good arc42 document“

I have adopted over the last two years to use ArchiMate for application architecture and that works surprisingly well.
Matching braces is part of written natural language and would be beyond the power of regular languages wouldn't it? I thought there was something special with transformers allowing to learn that at least within its context window size in a generalizable way.

It also sounds like from the paper transformers are formally proven to capable of it, but the training can't get the weights to make it capable of it, even though there should exist such weights, if I am reading them right.
I read it when I was on a sales team. That period of my life may also have affected some of these beliefs...
Apparently by “finite number of symbols” he means, for example, {0 1 2 3 4 5 6 7 8 9 .} but he allows the representation of a number to contain infinitely many of them.
Me too, same browser
The authors assessment that using binary files would prevent such issues is flat out wrong. If a file is corrupt, as in his data, then undefined behaviour is all you can expect. No matter if the file format is text or binary based.

The thing that would prevent such issues is validation of the data you accept.
From all possible wannabe be replacements for C++ that poped up in 2022, Circle is definitely the one that has the most going for it.

Everything else requires rewriting everything, and they can only support a limited subset of C++ features, so if the goal is full compatibility with existing code they aren't going to achieve it anyway.

For full rewrites, we already have enough alternatives with more maturity years behind them.
There's a vivid scene where they create a tiny bobble above a candle to catch the hot air.

I always wondered if creating a bobble around an off-center weight would allow you to kind of spin it by wobbling it.

There were some places where large pieces of land unbobbled without any relative movement, so maybe they were locked in their rotation somehow?

I really liked that book a lot.
The HP-prime, which is I think the latest version of the HP line is also very good and supports both RPN mode and algaebraic mode (apart from a symbolic mode). There are also android, mac, and pc emulators available (and the pc version works under wine on Linux)

My only plaint is that I wish it had a qwerty keyboard, but then it would make it ineligible for AP exams. I never figured out why AP explicitly disallows calculators based on the keyboard configuration!

Android: https://play.google.com/store/apps/details?id=com.hp.primeca...

PC: http://www.hp-prime.de/files/HP_Prime_Virtual_Calculator_201...

Mac: http://www.hp-prime.de/files/HP_Prime_Virtual_Calculator_201...
Please do a few google searches on this topic so that you can change your worldview. I know it's tough to challenge your core beliefs, but part of intellectual curiosity is also personal growth, especially around topics that you have an emotional attachment to.
I've thought about this a bit too after coming over from a digital logic background--it would be neat to have a language that let you specify multiple concurrent blocks that need to be run for each "clock" of the program and then just let the compiler interlace them as necessary for performance. In other words, just a high level verilog with a synthesis tool that generates high performance (possibly threaded) machine code. I do think though that most programmers would hate writing code in this way since it's a very foreign way of thinking for most SWEs, but it does have promise (especially in a post transistor scaling world).
It does, but my favorite dataflow based video editor (AVISynth) is a text-based programming language with an unusual evaluation model, the programs themselves aren't visual.

I guess the most popular dataflow language in the world would be Verilog? But that's not visual. I don't know much about how it works professionally though.