skysight-inc/HackerNews huggingface dataset:
Sure, no problem:

>"Avoid arbitrary limits on the length or number of any data structure, including file names, lines, files, and symbols, by allocating all data structures dynamically. In most Unix utilities, “long lines are silently truncated”. This is not acceptable in a GNU utility."

https://www.gnu.org/prep/standards/standards.html#Semantics

So perhaps DOTADIW is a GNU philosophy, because it's one of the reasons GNU became so popular. Proprietary unix tools often did one thing and did it poorly, making GNU tools a breath of fresh air.
My kids think that they are being oppressed because they are expected to help with chores and tidy their rooms.

Clearly (as an oppressor) I am excluded from any objective discussion of the issue.
I expect it's a trade-off between power usage and brute-force resilience.
Corephotonics lawsuit portrays ‘innovative’ Apple as a devious copycat
My company held an optional meeting / fireside chat to discuss being LGBT in the workplace, as part of the office's Pride celebration. Compared to my old company --which never even acknowledged Pride occurred-- it was kind of nice to have an hour to reflect on that. Otherwise, personal topics like this never come up. I think it's okay if it's a group of people who choose to opt-in for a discussion for 1 hour once a year. Then you're not "forcing" coworkers who don't want to be there to listen, or worry about sewing mistrust, as you have mentioned, which is a valid concern. You don't want people worried about preemptively stepping on your toes to the point where it could impact you professionally.
Surely there is a commerical incentive. Environment- or image-minded companies that want to buy carbon offsets can do so by paying cattle producers to use this tech.
Look up the concept of "natural slavery".
> The detail about changing gears is glossed over, there is that big stack of what look like sprockets so it is assumed that changing gear is possible, but, get to the bottom of the article, and it isn't.

Actually, it's not - take a look at the renderings again.

If you notice (and the article details) the rear "cassette" is actually a flat disk with concentric "gearing" which the roller bearing "gear" on the shaft interfaces with.

Switching gears would be accomplished (in theory) by moving the roller bearing "gear" in and out along the radius of the rear disc "gear".

It reminds me in a way of old wood "peg" and "lantern" gearing seen in wind/water mills and similar old power transmission systems, except in this case the "peg" gear is a formed or cast disc, and the "lantern" (which you couldn't shift due to the plates at the ends) is a "ring" of bearings, the bearings forming the "teeth" of the gear (which isn't that strange, if you understand how a simple gear is basically formed out of partial circles along the edge of a larger circle, all "joined up").

They do mention though, at the end of the article, that they can't shift gears easily and something about an internal wireless servo (which I think is kinda daft). I would instead use a splined shaft, and just change the "length" of the shaft to move the end-gear in/out of the wheel gear, and actuate it with a normal lever and bowden-cable type arrangement, though that might interfere with their efforts/want for more efficiency...
There are various non-emergency assignments to other [1-8]11 numbers but though I have read the announcements over the years I still have no idea what they are.
110000 Hectares of German woodlands destroyed by climate change
https://www.gnu.org/prep/standards/standards.html#Semantics

I think you misinterpreted parent’s statement, though, and/or they mistyped. The GNU Coding Standards says to not use static buffers, nor should GNU programs silently truncate long lines.
Well, time to go back to typing everything on a typewriter.
The idea is good, but the name is wrong. It's like if I made a script that automated using Nodejs & Sonarqube and called it Kagile. There's more to Agile than just using a couple tools; same with DevOps.
The worst part is the more you know it the more unbelievable it becomes to you and you start to think to yourself "yeah right nobody would believe that."

Then you do a split test and bullshit like this (fake scarcity, benefits not features, forced optins, etc) show a conversion rate of 8% whereas your honest to goodness page is at 0.5% you understand that it's not your customers who are ignorant, it's you and your understanding of how the world works :/
That is correct. The vulnerability note clearly states that this only impacts "Bluetooth BR/EDR Core v5.1 and earlier". "BR/EDR" is the technical term for Classic Bluetooth; in other words not Bluetooth Low Energy.
HN is a cesspool of bad opinions about anything political or social.
Approaching meditation as a goal to be completed according to some measurable standard is orthogonal to many traditions of meditation.

There are techniques, such as observing your breath, thoughts, emotions, and/or somatic sensations.

Depending on a multitude of factors, our capacity to maintain this level of observation and awareness will vary. Another part of the technique is, when you notice that you've strayed from your point of observation, is to meta-notice that noticing, and gently return to the foci of observation. If you never do that, you still haven't failed. There is no failure, and there is no success -- the path is the goal.

Other techniques simply invite you to sit or lay in a comfortable position (e.g. be careful of attempting to fit your body into one of the classical meditation poses, it's more important to find something that you are truly comfortable being in for 15 - 60 minutes at a time), and "do nothing" at all, to simply Be. This is perhaps one of the most somatically oriented forms. No technique is the highest form of technique.

After all, when you haven't had any thoughts for some period of time, can you remember that specific period? How would you actually know? Other than perhaps remembering when it vaguely began, and when that period ended by the re-emergence of mental content?
I find the opposite. On the nights where I dream a lot, I do not wake up well rested. The best rest I get is when you fall asleep, next moment open your eyes, and it's morning. But I haven't had much of that kind of sleep since I was a kid.
Reading some of that in the modern era was... uncomfortable but probably valuable.
Personally, I find meditating on a daily basis for longer periods (months), the most difficult.

Whenever I go through a "down" phase in life, I start meditating and observe it being really beneficial, but the routine quickly starts to bore me.

When I feel good and energized, I jump out of bed, enjoy a day at work and fill the evening with stuff I enjoy.

I totally forget to meditate and (digital) reminders are easily dismissed.

(It doesn't help that I'm an evening person, so most of the time I tried to do as less as possible in the morning in order to arrive at a "normal" time at work)

How do other people cope with this?
We have one! https://developer.wordpress.com/docs/firehose/
Do you think they had a special team for black box testing of critical processors ? I'd be curious to read how they assessed security from vendors.
That's cool, but my privacy isn't about compliance. The government can't keep up with the likes of Google. The top-level comment was about the alignment problem between my interests and Google's. I'm sure there's plenty of cases where the data meets the government's definition of "anonymous" but it really isn't. Also I'm sure that there are cases that data is kept for law enforcement even though I've been told it's gone.
Addressing JS, they were using aging jQuery with other vanilla JS. Nothing fancy.

As for finding people like yourself, all I kept hearing was that they had trouble finding new people to fit their specific needs.

I agree with you though, there is likely a lot of missed opportunities due to the resume farming going on and bad filters.
Looks like a copy of expeyes to me
I think we've interpreted their post in different ways, but I don't see how my interpretation is incorrect. I know the history and geography both fairly well. The post said the difference is "especially in HK", and referenced the British influences on their culture. It also said HK is distinct partly due to language (Cantonese same as Guangdong, no mandarin unlike Guangdong, with English unlike Guangdong), partly due to history (was under British rule for 150 years).
The other issue with it being published 9 years ago is that they may not even remember it existed (until they got their account locked).

Who remembers what they tweeted 9 years ago? Are we all expected to constantly prune our tweets to conform to new rules? Can we even navigate through 9 years of tweets easily?
That's only true if you're putting down less than 20%. Once you're over 20% lenders don't care. I recently put 50% down on a house and did not have to get insurance. The lender said it was one of the cleanest loans they've ever done.
>This person and many like them are just completely self-centered.

I would agree if this were a unique experience, but this is a mentality held by a large section of the population. It is systemic.
My wife and I waited until just now to buy our first truly VR capable card, mainly due to inflated GPU prices. I feel like waiting was ultimately the better choice because the capable cards are way better and cheaper now, but I definitely would have bought into the VR market if not for []Crypto .
Highly doubt that crypto mining affected VR adoption. The technology simply isn't there yet to be mainstream. It will be in 5 years, though.
Anybody who's ever had a dog will know that rubbing their face in it 9 years later won't do any good.
Worth noting: the slippers were originally Silver (as a parable for the silver standard), but changed to Ruby for the movie
I don't think it's luck. It's just that Nvidia has good strategy and execution to leverage their core GPU technology to a number of different areas that can be benefited with massive parallel processing.

Couple years back when I was researching for stock investment I looked into NVDA's product offering. I used to thought NVDA was only good at video cards but was surprised to find they had already fanned out to a number of different areas with their GPU technology. Basically anything that needs massive parallel computing is a candidate to apply the GPU. From memory, they were into super computing, cloud computing, animation farm, CAD, visualization, simulation, automative (lots of cars have Nvida chips), and of course VR/AI. Crypto I don't think was on their product roadmap. It just happened.
There's always a compromise with privacy that people are willing to ignore in the short term, but I'd rather bet on long-term trendlines than people's laziness today.

Their business model of taking over and centralizing whole sections of internet will continually cause a backlash. They only have a percentage of all traffic today and it continues to increase. And apparently so does their willingness to not be a neutral service provider as we saw with 8chan, which is in stark contrast to their policy towards the LulzSec hackers and plenty of other "bad guys".

I'm sure Cloudflare will continue to be a good business in the short-term, but that should never be the relevant metric for any business. But it will become more and more obvious to everyone the bigger they get.
It’s not immediately clear from the website if you intend to ship your lab equipment to me, or if you want me to come to your lab and use the equipment there. Frankly I don’t see how either approach would work.

Edit: however, this would work for something like compute resources. For example, I might have a GPU server sitting idle for days, while I’m figuring out what to simulate next. Would be nice to allow access to it and make a few bucks.
Those ones suck, apparently. Had to be recalled even, and totally shut down Ikea's bike.
Maya is indeed used at Pixar, as is just about every other package out there. Their pipeline is set up to allow work to be done in a variety of tools.
https://themountaintravelers.netlify.com/
> Your annual gross revenue from design work must be less than USD$100,000/year

$100K gross....

That basically means you are self-employed and undercharging, you are going broke, or you are a startup using some creative accounting.
Is Apple not counted because they're not favoring Nvidia at the moment?
I'll just say this:

Samsung has a project zero team that secures their smart TVs for obvious reasons.

A friend of mine cracked all their security with his ass on home couch and now works for them as an external security expert.

I can cyte one of those "senior security expert architect" from Samsung during their meeting with my friend:

"It's not possible you found a level zero vulnerability in our software, we are the best of the best".

Few minutes later that security architect was fired..

TL;DR inhouse experts often dont mean much, there is a whole world of even better experts who sit on couch at home and hate corporate world..
Right. All the major automakers have Level 2 capability now - lane keeping and auto-braking in traffic, plus maybe some extra stuff like auto-park or lane change. That's all Tesla's "autopilot", as shipped, does.
Because clojure's spec is nothing new? programmers in dynamic langs have being doing it for ever, spec just gives you a framework to save on boilerplate. Also, spec's runtime performance is atrocious.
This is absolutely not true, only this decade we've been in a momentum for worldwide progress for LGBT rights, many states now have more liberal drug laws. Moreover, I cannot think of one thing that we were free to do a few decades ago and we're restricted to do now. There is an alarmist rhetoric in libertarian community (especially r/libertarian et al) that the West is keep getting more authoritarian, whereas the fact is it's always getting more and more liberal. Do you have an concrete examples maybe?
Sadly, many BLE keyboards on the market today are still not using the LE Secure Connections feature during pairing. The LE legacy pairing algorithm does not use Elliptic Curve Diffie-Hellman Key Exchange, and is easily susceptible to having the encryption cracked via passive eavesdropping.
Quantum Foam
The Biggest Mistakes First-Time Founders Make [video]
Just read the article. FWIW when conservatives are "afraid to share their views" it's different than when progressives do, because a lot of conservative views will run counter to a code of conduct.

Corporations need to be inclusive environments where all competent people have the space to do their work. Rejecting intolerance in the workplace is the only rational thing to do. If you let people be racist, sexist, or otherwise make another person feel threatened, that's not OK. If you feel threatened because you're a racist or sexist, well the onus is on you to grow up and recognize what's really broken here.
> I know it may look like I'm taking China's side, but I'm not. In fact it's the automatic dismissal of all possible attempts to understand the Chinese perspective that I'm fighting against.

I think part of the problem is that while "attempting to understand" you're leaving out some important things. How did this "Chinese perspective" form? Was it natural, or deliberately formed or amplified with propaganda? What are the political motivations behind it? How much value should be put on irredentist nationalism, especially when wielded by an anti-liberal authoritarian ruling class against smaller more-liberal communities?

> If things are black and white then we miss the fact that HK's legitimacy is of a different kind to Taiwan's.

That really is a matter of perspective, isn't it? One could very validly argue that these "nuances of the history" that you're emphasizing are actually irrelevant to the posture that one should take to toward the current situation, and kind of a distraction. To put it another way, if you are considering slavery and have a slave in front of you, does it really matter if he's a slave because his parents were captured in a raid or if they were sold into slavery by his grandparents? Or should you focus on the slave's thoughts and his experiences? Maybe the his owner is adamant that his grandparents bought his slave's family fair-and-square, but how much effort should you make to empathize with that position?
>how you know that he dismissed her ideas because of her gender?

If Sarah Palin was a "he", he wouldn't have called her a "cunt" and a "whore".
> They aren't eating the same plants that you eat.

Humans don't eat corn and soy? Because that's what is fed to industrially raised beef cattle.
Methodical UI: Removing Frustration from HTML and CSS Development
Hmm, I read Snow Crash a few years back, mainly due to the praise. It was certainly a good book, but quite honestly I felt it was overrated. I'm in my late 20s, and it's very possible the book was revolutionary and groundbreaking in 1992, but it does show some age nowadays.
How does all of this connect with The Dark Side Of The Moon?
Let's just drive multi-ton vehicles instead [1]. Highway driving might be easier to visually parse but higher speeds and probably less controlled kinematics (i.e. does the software know how to adjust for the cargo) give one pause:

[1] https://www.theverge.com/2019/8/15/20805994/ups-self-driving...
https://mubi.com/films/his-master-s-voice-2017
Is anyone in Hong Kong proactively setting up communication channels to the outside in case the military cracks down? In a worst case scenario it'd be good to have reliable high-bandwidth communication channels to the outside world. The time to establish them has past I think, but there might still be some quick-wins to make.

They will shut down and disrupt all normal communications the moment their operations begin.
I don't think human programmers have any hope of ever being able to maintain noncompositional program properties for nontrivial programs. A model checker may indeed be able to prove some program property without the programmer having to understand why or how that property holds (in contrast to using dependent types) - but I submit that this is not actually much of an advantage; a human working on the codebase will still need a deductive-proof-like understanding.

> This means that everything specified with a dependent type must be deductively proven, or it has to be specified in some other way (i.e. you also need contracts), or else you risk making even your simple types unsound (although I hear some people are working on relaxing that problem, and that's what I mentioned in my previous comment). But properties differ greatly both in the confidence you need as well as the effort they require to achieve that confidence. Contracts give you the freedom to specify your program however you like, and then choose, for each property, which method you'd like to use to verify it -- deductive proofs, model checking, static analysis, concolic tests.

What practical distinction are you drawing here? Surely with any approach you either have a fully sound proof of a given proposition, or you have a potentially unsound proposition that you've tested at whatever level you feel appropriate. Like, if I have a SortedList type that can produce an assertion that, given n <= m, l[n] <= l[m], either the constructors of SortedList bake that in as a deductive proof, or they unsoundly assert it and I apply some level of static analysis and/or testing to them - how's that any different from what I'd do using any other technique?

> 4. Because dependent types are so tied to the program, the program must be written with the specific properties you want to verify in mind. If, after writing the program, you want to prove other properties about it, you'll probably need to rewrite it.

I'm not entirely convinced that this is any harder than any other approach - you'd have to propagate the new properties you were interested in through the code, sure, which would likely involve changing the types that the relevant points in the program were annotated with. But isn't it much the same process with a detached proof of the program property?
I'm not sure you understand what modularity is all about.

There's ample evidence that Functional Programming (esp. with immutable data) gives you a lot of aspects of a 'module' for free.

Any function programming language can describe and enforce module boundaries. Some mostly at run-time, but that is A-Ok in my book.

I also find it funny you mentioned "large monolithic state" when most enterprise apps try to hide that fact that all your data is in a database (the large monolithic state), by stashing it into objects through some magic ORM...
I agree you can avoid a lot of headaches by not using platform specific tools.

Unfortunately, once you get into users wanting OS specific feature support, all that goes out the window.

You now are forced to maintain multiple versions of your product that differ greatly per operating system.

Pair that with the fact the codebase was almost 20 years old, you get some fun legacy code support issues that a lot of C++ projects naturally have due to the fact that C++ is not a new language.
> Of course it is; it's merely an ambiguous one. It either means "I am happy with the status quo" or "I am too afraid to express opposition to the status quo."

No, silence often means “I’m not informed enough about this and don’t want to sound like a fool.” Heavens forbid people actually think before talking and not talk if they feel like they can’t say anything meaningful.
The first Russian-American accelerator revealed
ultimately the existence and degree of oppression is a factual matter. in general I agree that white dudes tend to have very little information that they can add to such a discussion. the way society is set up mostly precludes learning anything about it firsthand.

at the same time, I think your position is too absolute. to give you an example, I used to work in a small pizza place. one day a black dude came in and ordered eight slices of pizza. my coworker informed him that he was significantly overpaying and could save money by ordering a whole 16" pizza instead. the guy instantly flew off the handle: "you think I don't understand math?", "would you ask a white person that question?", "I didn't go to school for two years to be talked down to by the likes of you", etc. my coworker (a white dude) explained that, in fact, he asked everyone who ordered eight slices that question as it was store policy (it was) and that it had nothing to do with race.

as far as I understand it, racism was not happening in that situation. was it wrong of my coworker to point that out, or should he just have accepted that he didn't deserve a "seat at the table"? or am I wrong, and my coworker was being racist while treating this man exactly the same as all the other customers?
Not to mention at that time Linux was gaining a lot of share in the service space replacing legacy UNIX, Novell and even Windows NT. Just because "hordes" weren't using it on the desktop doesn't mean there weren't hordes who were aware of it and used it at least sometimes, if not daily.

In 1999 I worked for a company in Canada that replaced servers that supported their products and internal servers that ran SCO UNIX with Red Hat boxes. Saved them a lot and we managed to keep everything working as it had on the old servers.

I didn't think of myself has part of a horde at the time but I sure was opinionated about Linux and could see myself being one of those "know-it-all-kids" that hassled Steve had I read his stuff at the time.
One of the biggest breaches in Australia happened. Company faces $300k fine
> Claims created by the Content ID match system, which are the vast majority, are not impacted by this policy.

Will this end up having an impact?
Holy shit you're a vile authoritatian.
> has no necessary relationship to what the programmer intended when they defined the type

Right, for instance I wouldn't be surprised if "the least amount of work" here amounted to reversing both lists as you zip.