skysight-inc/HackerNews huggingface dataset:
It's not really nonsense, it fits a common notion of entropy: lack of order or predictability; gradual decline into disorder.

As software systems (like many systems) go from initial development (which may or may not have a solid vision and initially highly disciplined development approach) to long term maintenance, disorder creeps into the system. Often just as a matter of expedience, "Let me make this field public so this other module can modify it directly because I need it now, I'll come up with a proper interface later. Oh shit, three years later 100 modules are making use of that public field."

What tests do, in this case, is help to preserve order. They help to ensure that a more rigid and ordered structure for the code remains. Formal methods only take you so far because, outside of maybe coq and related languages, there is no direct connection between your formal method spec and the code that has been written, in contrast to tests (which can be derived from your formal spec, but usually manually). Of course, tests can only carry you so far, they also have to be maintained. If a test is removed because it's no longer relevant, is another test put in its place to verify the new system? Are tests disabled because they're only failing sporadically or because the bugs they represent are hard to fix and we don't know how to yet (or don't have the time)?

Gradually, a system starts to suffer from various problems of this sort, that's entropy. Maintaining quality is a constant struggle against various forces (convenience, loss of institutional knowledge, time pressure, etc.). Tests are one way (and a critical way) to help balance against those forces.

EDIT: Other formal methods that work with real systems would be in Ada/SPARK, ATS, or Frama-C and I'm surprised I didn't mention them above. However, at least with SPARK, it narrows the scope of what you can do with the system and prove properties about it. That scope is always increasing, but is still a subset of what Ada itself can do. That's not all bad, but this means you can only consistently prove (in a formal sense) properties of subsets of a larger system and will likely be unable to prove (in an automatic fashion at least) a significant number of properties of those same larger systems.
haha, I have one too!
Not sure..but it’s not just this one tower but a lot of heavy buildings in the general area..it’s a reclaimed landfill!!it’s worse than they are letting the public know..it could be on an accelerated schedule.

https://sfist.com/2021/11/24/multiple-downtown-sf-skyscraper... : Multiple Downtown SF Skyscrapers Are Causing Entire Area to Slowly Sink

[..] Much media attention has been lavished on the tilting and sinking Millennium Tower, a fix for which remains in the works. But the building's situation has perhaps brought attention to the fact that heavy buildings clustered in an area atop landfill and bay mud — an area of reclaimed land that was once part of San Francisco Bay — are all collectively causing the ground to compact and sink beneath them.[..]
That is very expensive. Given that they came online in the 70s and early 80s we can assume the initial capital investment is paid off by now and that cost is only the marginal running cost. (OPEX)

Now, currently we are building solar farms in desert areas for ~1.5 cent per kWh. Including both CAPEX and OPEX. On-shore wind is built at ~3 cents per kWh and ~6 cents per kWh for off-shore.

This is where the explosion of renewables is coming from, they currently undercut the marginal cost of traditional power sources.
Internet Service Providers Are Logging Everything You Do Online
Although of course a colour calibrator can't magically invent more colours, so if your panel can only do 80% sRGB, that's the absolute best a Spyder will get you. Still very much worth getting, but it won't fix a narrow gamut.
Have a look at this - https://martin.kleppmann.com/2020/09/29/is-book-writing-wort...

Keep in mind that the author's book is one of the most successful technical books out there (I don't have numbers to back this up but it's at the top of every "recommend-a-book-to-me" thread).
> I'm going to have to work late for at least a week!

That's one option. Another is just get less done. Cowards get pushed until the brink of collapse. Your only duty is to communicate to leadership that less is going to get done and it's their job to then adjust priorities and/or higher more staff.
You repeat the data but don't understand its implications. Reducing coal to 25% while reducing nuclear to 0% goes against the environment, even though it's better than other countries. It should've been vice versa, 0% coal, 25% nuclear.
I'd be willing to help out putting together a TypeScript version of this depending on what the author wants to do.
I never claimed that vaccinated people are getting sicker than a comparison to non-vaccinated people. I plainly said that the "sickest people I know lately" are all vaccinated. You took it and spun it into apparently what you wanted to take from it. You have taken what I said and what I meant out of context.
Some commuter rail lines in the U.S. are designed to only cater to commuters. So they may not run any train into downtown at night, or they may stop running well before the shows end at night, so there's no way to use the trains to get back home.
It’s a color space designed to be perceptually uniform. So as you blend through colors the saturation appears to stay the same. Check some of the reds and greens in the other color spaces and see how they get really saturated.

https://en.m.wikipedia.org/wiki/CIELAB_color_space
I was revisiting a codebase I hadn't seen in 6 years and I gasped aloud at how pretty it was. I thought at the time: "Why don't I write beautiful code like this anymore?" and I think I have an answer (for my case). I excel at visiting these 10 year old plus hulks and doing a refactoring of the shortcuts and the bad solutions. Problem is that this rarely surfaces in my own current work which is more greenfields than I am comfortable with.

I'd love for some more contract work in this vein but I am unsure how to find it.
I've not done PHY development personally, but these interfaces are called SerDes. SerDes is short for Serial-Deserializer. Outside of dedicated EQ hardware, everything on the chips are done in parallel so nothing needs to run at a multi-GHz clock.
I totally support your right to live in a surveillance police state of your own choosing – far from people who prefer privacy & freedom.
The Future of Hardware Is Software
I care about the value of the dollar (since I'm in the US) being stable. I do not care about how many dollars exist, whether that number is going up or down, or whether the number going up constitutes "debasement".

Also, the prices in the market reflect the cost of production (the cost curve) and the demand curve. I'm not sure that looking only at the production side tells you anything meaningful.
Looks good. My wish list (some of these are mentioned below by others):

- don't worry about target wpm, just worry about getting faster from a baseline and automatically adjust that baseline from current speed.

- repeat words that recently failed / took longer to type after some spacing (spaced repetition)

- fail words which are committed rather than making me correct them to continue (I'm of two minds about this, is correcting a mistake faster than just continuing and coming back to mistakes or the other way around?)

- consider a prose mode that shows more context to type (grab some paragraphs from project gutenburg perhaps?)

- consider a code mode (more difficult as autocomplete is a thing and different per IDE)
These kinds of things are distinctly different, assigning macros or keycodes to specific keys. The threeboard is not a macropad, it's a fully-functional keyboard that can type anything, it just requires specifying the keycode to type or programming in macros to type words/sentences.
It is not, and looking back without rose-tinted glasses we can see a lot of the bad stuff there too.
That's funny. For the intended classroom use I'd argue this is a feature. 1. Can't fuck with the settings if you can't click on the correct dialog box. 2. Harder for kids to be ahem "multitasking" if they can't fit two windows on the screen.
User lock-in is not just a glitch. It's the whole reason why people invested in signal. It's yet another walled garden masked as an open source no-profit.
Not providing limited public services to individuals that have other options is the sort of discrimination demanded by taxpayers.

Taxing the nearly 2/3 of taxpayers without a degree to fund the housing of university students doesn't seem egalitarian.
It takes longer (with reverse commute traffic and less going home). I'd have to leave early to make it in time for dinner. And I'd have to hope I hit one of the infrequent trains that run after rush hour. It's completely impractical. I just wouldn't do it.
Yeah, the "middle class" in the US was rich for all of 50 years after WW2. Things are just moving back to normalcy.
talking security and the webpage loading dozends of 3rd parties? ugh.
CXL puts PCIe in competition with the DDR bus. The bandwidth was already there (now doubly so), but CXL brings the latency. That's exciting because the DDR bus is tightly linked to a particular memory technology and its assumptions -- assumptions which have been showing a lot of stress for a long time. The latency profile of DRAM is really quite egregious, it drives a lot of CPU architecture decisions, and the DDR bus all but ensures this tight coupling. CXL opens it up for attack.

Expect a wave of wacky contenders: SRAM memory banks with ultra low worst-case latency compared to DRAM, low-reliability DRAM (not a good marketing name, I know) where you live with 10 nines of reliability instead of 20 or 30 and in exchange can run it a lot faster or cooler, instant-persistent memory that blurs the line between memory and storage, and so on.
> remove or charge for parking and people park on the street...

Parking in the street is still parking. The first parking to charge for (and the one to charge most for) is street parking.
>> Kernel panics don't happen nearly as often as they used to

My earliest kernel I have used in something one might call production are 1.2.12 around 1995.
I must say even then, with this early kernels I had no panics at all and much higher uptimes (patching for security wasn't as much of an issue at that time ;-) )
There is a difference between "nobody should be allowed to disagree with me" and "it's regrettable that most people hold what I consider to be very regressive positions on this topic." I don't think anyone is expressing the former.
We, the Navigators by David Lewis is another good book on the topic
As others said, the chance of you
making thousands of dollars is very slim if you don’t have a marketing plan or a pre existing audience and you just publish a book.

Since you said that you still have a year ahead of you, you can use that time (and bits from the book) to build that audience.

The income the book will generate also can vary depending on the sale strategy. I can’t remember who it was now but there was someone who sold a course or different products along with the book for various price tiers. You can also consider consulting/mentoring along with the book sale.

In addition, the book can also establish your authority in your area of expertise and you can use that to bootstrap a consulting business or increase your rates if you already do so.

At any case, if you use it well, a book can be a tremendous asset for you and advance your career and income in big ways.

Congratulations!
Weird. I'd check to see if a beta profile is installed (https://support.apple.com/en-us/HT203282), if that doesn't work then use a Mac or PC to update it.
Fine, so close them.

Isn't a dacha a summer house?
I read an amazing article once that described the representations of color at different processing levels in the human brain. For example, the 3 types of rods in the retina sense R/B/Y intensity, but at some point it is transformed into a different 3d representation with a R-G axis, a B-Y axis, and a greyscale intensity axis. There was some implication that this is information-theoretically optimal in some sense for representing images sampled from the natural world. Anyone know what I'm talking about?

The book you mention seems to cover similar ground: http://www.yorku.ca/eye/toc.htm
Not at-risk by any means, but it was a terrible experience. Worse than any flu I've had. I think that it would have been very serious if I didn't have two shots in me.
More :

[..] While Millennium Tower, with its concrete frame, is the third-heaviest building to be constructed in San Francisco — coming in at 686 million pounds — no other tall buildings in the vicinity had drilled down to bedrock before Millennium Tower was built. (One Market Plaza and 101 California are the only buildings that are heavier.*) So when an engineer recommended concrete piles that only went down to a clay layer, the developers didn't question it. Subsequent construction, including that of the lighter-weight Salesforce Tower, did go down to bedrock with their foundations.[..]

[..] Interestingly, Salesforce, which is slightly taller than Millennium Tower, weighs about half as much due to the nature of its construction.

YouTuber Grady Hillhouse, whose channel is called Practical Engineering, suggests that all of this is kind of an experiment — with such tall buildings still relatively new to San Francisco, and, "Our ability to predict how soils will behave under new and extreme conditions isn't perfect, especially when those soils are far below the surface."[..]
lol, yeah, the ones that rake your balls over minute details. A PITA contrarian.
Haven't I seen you in ai03's Discord channel? I would have gone by a different name in there (this was from before the name change of the server, I think), but your handle is very familiar.
it would probably be helpful to have some kind of query prefilled in the demo or something, because somebody coming in fresh has no clue what to try.
One problem with these stats is that they're counting the 15% of founders who are Latino as non-white. However, in countries like Brasil and especially Mexico, a large portion of the people who are able to get tech startups up and running are white people, not indigenous, mestizo, or black people. Mexico in particular has a huge problem with the elites almost all being white. Y Combinator is likely padding its diversity numbers by recruiting rich European and Mediterranean elites from Latin America. I'm not saying they definitely are, but it's very likely.

I do think it'd be more accurate to say "white or Asian" rather than just "white" when describing the bulk of Y Combinator participants. Asian people, though discriminated against in many ways in US office settings, are still firmly a part of Silicon Valley culture at all levels.
> 99.99999% of software in big corporations will not have even 5% of the quality of the Linux kernel.

Having done a lot of work on the kernel, I think you’d be surprised at the relatively low quality of a lot of kernel drivers.

The core code is generally quite good, but it’s not true that the kernel is full of pristine code.

I’ve worked at multiple companies where code quality standards exceeded a lot of the weirder stuff I’ve seen (and often fixed) in kernel driver code.
I said large amounts, but small amounts might even be a bigger problem...
I'm having trouble thinking of examples of what you mean. It's not like people invent new branches of math to make a patent like with revolutionary ideas in physics. Do I get 6-12 months (or even more) working on the same problem and subject to the same constraints and available technologies the inventor had? A really "prophetic" idea can probably be identified as such because it's far too ahead of its time to get patented or used anyway.

But when it comes to money-making patents, I think of technological development as an optimization process where everyone has the same objectives and a pretty limited search area at each point in time (available technologies you can use, textbook knowledge you can draw on). I'd generally expect any smart and dedicated person working on the problem to find the next best next steps sooner or later (certainly far less than 20 years).
> it doesn't suffer from most WebSocket limitations (e.g. header/cookie based authorization works)

Don't WS connections send headers? What's the limitation here?
Remote Session Manager for any protocol
Not gunna lie, defcon sounds pretty awesome and the callsign of SKYKING is pretty freaking amazing and dystopian sounding.
It's not just segmentation. Laptop buyers are not going to pay for 64 lanes. A regular Intel SKU of the 12th generation has 28 PCIe 4.0/5.0 lanes. A Xeon has 64, does not have 5.0, and costs way more, partly because it has 4189 pins on the bottom, which is insane.
You are looking for Nim
There are a few out of the city until about 11:30 or so. I'd be hanging around for maybe an hour+ then a fairly long train trip to my car.
>How long does it .......

It is not just about getting a product out ( i.e PCI-E 6.0 SSD ), but also the platform support. ( i.e Intel / AMD Motherboard support for PCI-e 6.0 )

Product Launch are highly dependent on Platform support. So far Intel and AMD dont have any concrete plan on PCI-E 6.0, but I believe Amazon could be ahead of the pack with their Graviton platform. Although I am eager to see Netflix's Edge Appliance serving up to 800Gbps if not 1.6Tbps per box.
They have to be unhygienic because the code makes references to those specific symbols. We need to bind each of those symbols to a nil and t constant against different copies of that code, thereby shadowing the original variable, based on whose value the decision is made which way to bind the shadow.

Our macrology does not introduce any hidden variables of its own; we don't have anything to hide behind gensyms.

We have not even evaluated any argument material twice.
1) Wow I've never heard that one before but that's so interesting. I'm just thinking of my parents who love gardening and the insight they might get from that. If you want to leverage our platform for a personal project like that, let us know! Might need to add a few new features to make that seamless.

2) This one we currently support + work with. Thanks for bringing it up again :)
Tony Xu Joins Meta Board of Directors
It seems like the solution for this specific instance is to not use web mail. Is there a reason you're locked into outlook?
My 1060 3GB can still run every game I throw at it (except Cyberpunk). MS Flight Sim runs great at high, for instance, especially after the performance update.
Both my experience and most other authors I've talked to don't make a lot of money from book sales/royalties. In one case that I know of, one author self-published a book on a niche subject that no-one else was writing about and made a fair amount of money (over $100/book). Other author's I've spoken to have made more money self-publishing than through a publisher. One of reasons why some authors write is because they're independent consultants or part of a software house where the book is good for marketing. It's a nice calling card that might be attractive to a certain type of customer (especially via a well-known publisher). There are other intangibles like personal growth and teaching others that might contribute to your later success. Teaching others can be a forcing function that makes you think about a subject more deeply. So, while you might not experience immediate financial gain, there are often future gains from the endeavor of writing a book.
This is kind of like Google and Youtube becoming worse because they have too many of the wrong kinds of users.
> We have purposely trained him wrong, as a joke.
Is the madness ever going to end?
Interesting take! I think this would apply to me personally. Though, I'm uncertain if it impacts old and large codebases. They could've theoretically been maintained by intelligent, experienced, and disciplined engineers for a decade even if their standards changed.
I am vaxxed and boosted. Everyone I know in my very Republican rural county got the new wave of Omicron in the last ten days, including me. No one got seriously ill. My symptoms were barely detectable.

I am done with Covid, I did my part to stop prevention. At this point, it is damaging children to keep them locked up. People should live their lives as normal. People who are vulnerable are welcome to take precautions for themselves if they wish. I am returning to life as normal and recommend all of you do the same if you don't have a risk factor.
The lengthy and pointless verbalizing of the above is a good example of what we're
up against.
The problem with the antitrust narrative is that it will take years to force corporations to break up or do anything about their pricing if that is truly the source of the inflationary pressure. In which case, the Democrats will get crushed in 2022/2024 as inflation will remain high.

Better to go with Summer's approach. At least that offers us some hope of doing something in the short term to tame the beast here.
Wow, 128GBps via x16 lanes - so 1Tbps networking is right around the corner!

https://en.wikipedia.org/wiki/Terabit_Ethernet
Yes. Depression originates from the ego. Vitamin K suppresses the ego.
Even when I pay the check with a credit card, I will frequently tip in cash at a sit-down restaurant or bar (which I’m not going to at the moment as they aren’t much fun currently, but hope they’ll return in force this year).
As the article says, the core problem is CSS interpolates in RGB colorspace. CSS Color 4 seems to have adapted a color space parameter for interpolation in its drafts. See discussion here: https://github.com/w3c/csswg-drafts/issues/5833
Check out FarPlay — farplay.io — based on JackTrip but infinitely easier to use
Location: Atlanta, GA

Remote: Preferred

Willing to relocate: Yes, if it's Austin, TX

Technologies: JavaScript (ES6), HTML, CSS, Ruby on Rails, React/Redux, Git, PostgreSQL, NodeJS and Express

Resume/CV: abhireddy.io

email: abhi.reddy1@gmail.com

I am a software engineer based in Atlanta, GA. I enjoy solving real-world problems and giving value to people through technology.

I am proficient in JavaScript and Ruby, but I will work with the right language for what is needed to get the job done. I am also confident in my ability to apply "just-in-time" learning to pickup new technologies quickly.
He certainly comes across as a jerk at times but I am wary of thinking we have a good handle on what he is really like at all.
Only on 2G/3G networks. 4G+ is an IP network.

Don't forget - SMS was a hack in the system messages:

> The key idea for SMS was to use this telephone-optimized system, and to transport messages on the signalling paths needed to control the telephone traffic during periods when no signalling traffic existed.
It's been 27 years. I had to look it up.

The Oklahoma City bombing took place on April 19, 1995.

I heard the government moves slow but that is crazy.
Yes, the word is used very differently in the UK vs. the US. In the UK "middle class" means wealthier than average, a professional (manager, doctor, lawyer, professor, etc), what we used to call a "yuppie", while your average laborer is "working class". In the US almost everyone but the poor and the very well off are called middle class.
iMessage is built in to every iPhone so that’s 70% there, and has a free vs paid indicator(blue/green), Us vs Them, private vs not private.
> I'm going to have to work late for at least a week!

Don't work for free. Stick to your contracted hours, and if there aren't enough hours in the day to complete everything you're expected to, that's a failure of your manager(s), not yourself.