skysight-inc/HackerNews huggingface dataset:
> I keep seeing people like you claim we should just "fix" undefined behavior

Nope. Just don't take undefined behavior to mean "do arbitrary optimizations that dramatically alter the behavior of programs".

Let's see what C89 says about undefined behavior:

"3.4.3 Undefined behavior --- behavior, upon use of a nonportable or erroneous program construct, of erroneous data, or of indeterminately-valued objects, for which the Standard imposes no requirements. Permissible undefined behavior ranges from ignoring the situation completely with unpredictable results, to behaving during translation or program execution in a documented manner characteristic of the environment (with or without the issuance of a diagnostic message), to terminating a translation or execution (with the issuance of a diagnostic message)."

Note the "permissible".

Newer versions of the standard:

"3.4.3
undefined behavior
behavior, upon use of a nonportable or erroneous program construct or of erroneous data, for which this International Standard imposes no requirements
NOTE Possible undefined behavior ranges from ignoring the situation completely with unpredictable results, to behaving during translation or program execution in a documented manner characteristic of the environment (with or without the issuance of a diagnostic message), to terminating a translation or execution (with the issuance of a diagnostic message)."

Note that the wording has change from "permissible" to "possible". To me the older version indicates that this is the range of things the compiler is allowed to do, and that range is from "do nothing" to "behaving during translation or execution in a documented manner characteristic of the environment".

I don't think "silently do arbitrary optimizations, removing arbitrary code or let demons fly out of your nose" is in the range between "nothing" and "documented behavior characteristic of the environment". And also not between that and "terminate execution".

However, the newer version says "possible", and this to me sounds a lot less like a restriction of what the compiler is allowed to do, and much more like an illustration of things the compiler could do.

And of course that is exactly what has been happening. And it is detrimental.

See also:

"What every compiler writer should know about programmers
or
“Optimization” based on undefined behaviour hurts performance"

http://www.complang.tuwien.ac.at/kps2015/proceedings/KPS_201...

Oh, and I was using C compilers before there was a C standard (did get the updated when ANSI C was released). At that point all behavior was "undefined". And "unspecified". And yet compilers did not take the liberties they take today.
TileDB, Inc. | Senior Software Engineer | Cambridge, MA or REMOTE (US) | tiledb.io

TileDB, Inc. leads the development of the open source TileDB array data management software. The company closed a $1M seed in May 2017 led by Intel Capital and Nexus Venture Partners (http://www.businesswire.com/news/home/20171019005449/en), and is looking to raise a Series A round in the upcoming months.

TileDB has been featured on HN: https://news.ycombinator.com/item?id=15547749.

TileDB GitHub repo: https://github.com/TileDB-Inc/TileDB

Array data volumes are increasing in genomics, earth science, imaging, and other sensing applications, and TileDB is meeting the challenge head-on. We are a small distributed team looking to aggressively adapt TileDB to better take advantage of distributed storage and compute backends in the hybrid local-and-cloud domain.

We are primarily looking for someone to help us transition scientific data storage and analysis to the cloud. Anyone who has experience in the following areas is welcome to apply:

- Cloud object storage and compute
- Spark / Arrow integration
- Scalable REST server / services and APIs
- SaaS services around access control, data sharing, and encryption

Additionally, we would be interested in a candidate with experience in one or more of the following areas: Scientific data storage / analysis, modern C++ (C++11 and later), parallel and/or distributed programming, compute or I/O performance optimization, genomic data formats / libraries (such as bam, vcf, htslib, bcftools, etc.), encryption / security.

Our headquarters are located in Cambridge, MA. To cope efficiently with the different time zones and hiring processes, priority will be given to candidates that are located in the US, and are US citizens or permanent residents.

Apply at https://tiledb.workable.com

Contact us at careers@tiledb.io with questions.
I recently took a trip to Hawaii where I was surprised to find Spam(TM) in just about everything. Even at McDonalds.

It was my first time ever eating spam, and I must say: in several instances, it was actually delicious.
Tips for writing helpful alt text
> The watch is part of the iPhone ecosystem. You can't use a Watch without buying an iPhone. The watch is an accessory to the iPhone.

So? The iPhone was part of the pc ecosystem, for years you needed a pc to even set it up. That says nothing about its architecture or the resources required to develop it.
I understand.

I think I made my point. It looked like I was on track to get ~$400 sometime fairly soon. Now I maybe get a bunch more, but possibly further years down the line, and I have to file more paperwork and keep thinking about it and all that nonsense. That's not an update I'm happy with, even though the nominal claim I have is larger.

I'd rather just have the $400! And so would you.

Cheers.
To add to that it's Ford GoBike in SF - same company's.
zo'o .u'i mu'inai ma xunai .eidai do tavla fo lo jbobau

.ui lojban
And Nationalizing oil infrastructure and then failing to operate and maintain it properly.
I think it would be quite easy to do using a framework like next.js[1]. For more complex applications it can be challenging to get an SPA to work right, but for things that behave more like websites than web applications (primarily just as linked documents) there are frameworks that make it trivial.

[1] https://nextjs.org/
From Wikipedia: "Named after lead sponsor Citigroup, it is operated by Motivate..."
> A crash will inevitably reduce demand.

No, a crash will occur iff demand collapses. You've reversed cause and effect.
On top of "this sucks": such "fully automated" response is a violation of GDPR compliance that requires "right to obtain human intervention on the part of the controller".

Stunning that Google cloud can get away with this.
I don't think we're disagreeing on the problem with Linux Desktop here. The whole system is a patchwork of projects by different groups with disparate goals.

> I've reiterated multiple times that you can forego the package manager and use the still-existing "easy" route if you'd like. Why does the package manager's mere existence cause a problem?

Because when it is the official "way things are done", that will be relied upon and anyone not doing things "the way things are done" will be ignored and told to do things "the way things are done". See: any question on a Linux Desktop forum where the user wanted to do something out of the ordinary.

Example: Try installing Visual Studio Build Tools to somewhere other than Program Files. It can't be done. It will install a few things to wherever you pointed it, but because "Program Files is where the programs go" someone at Microsoft hardcoded paths so it just dumps the majority of it in Program Files anyway.

Another example: Try to get apt to download a package you already have installed, and all its dependencies, onto a USB drive so you can install them on a computer that doesn't have the internet. The developers never considered the possibility that someone would want to download software for a different computer.

> Yes. The executable bit still exists outside of packages, you know ;)

It isn't about the executable bit, it's about expectations. Someone hardcodes a path to something because that's where the package manager puts it and I'm SOL.

> You will need to manually extract said packages, and then set up the `lib` folder properly (just as app developers did for appdirs);

The difference of course being that the developers do it for an appdir, whereas now that is something I have to do as the user.

> and then this relies on the application using relative paths for loading data (which all should, because they can be installed in `~` as well, but I'm not sure we check for conformance on this point just yet.)

Precisely. It isn't the way things are done, so no one cares.

It sounds like the hoops I'd have to jump through to make appdirs on Haiku might be less than what I'd have to do on Linux, which is nice, but isn't going to make Haiku any more attractive to me. After all, if I'm going to jump through those hoops I may as well do it on an OS with better hardware and software support.
It's an oven that can get to 1000F, which a home oven won't get close to. You need that for Neapolitan pizza, and it cannot be emulated with a steel stone. Those are great for NY-style in the home oven though.
>After the war, corporations that had begun producing instant and processed food products to feed the troops were in no rush to slow production. They'd profited on war contracts and were eager to continue their prosperity by bringing new innovations onto the market.

Am I the only one who is thoroughly incensed by this kind of thing?
This assumes that the problem of a chess game and providing optimal solutions for an algorithm defined in a higher level language (or pseudocode) are similar enough that the same strengths apply. They may be, but I don't think that's something you can assume without some sort of evidence.

Though, I guess the same could be said of my prior statements. To my knowledge, compilers aren't generally looking through a search space for optimized solutions as many common game AI algorithms do (which would would be in line with my statements about AI/ML/etc above). I don't have the relevant citations or experience to state that with authority though.
It's time to do away with grades entirely. Do what many Indian schools do -- report your score as a class percentile. At end of term, you don't get a grade, only a percentile. No curve. No score inflation. No bias.

What's more, each school should report your score only relative to those of your peers. You should be compared only to other engineers, to other history majors, to other biology majors, etc. Because performance in physics is incomparable to english, education, or art, it's absurd to contrive a relative metric of comparison (AKA grades) to conflate them when none can possibly be meaningful or fair. Grades do an injustice to everyone.

As for comparing students from one school to the next, entrenched standardized tests like GREs have become a nightmare. Especially in terms of STEM curricula, schools often differ radically in how much they challenge the students and how far their skills develop by graduation. There simply is no way a three hour multiple choice test like a GRE can accurately reveal the difference between someone who attended Columbia vs Lehigh, for example. But a big difference there is. (I know since I attended both.) To pretend that some quick A/B/C/D/E test, which explores none of the practical skills learned in labs or projects, can accurately AND reliably reveal a meaningful difference among 'peers' -- this does a disservice to everyone.

Finally, there's no better illustration of disparity in the academic ranks than the rise of for-profit degree mills during the past couple of decades. The pretense that millions are not being cheated by these 'schools' is simply an abomination. I blame unchecked grade inflation and academic elitism for the tolerance for slap dash scholarship assessment that the sorry state of these 'schools' has revealed. As long as we avoid a precise and accurate accounting of the scholarly performance of the individual and the academic product of the university, we will continue to confuse student merit and invite charlatan schools to victimize their customers.

Somehow all these forms of false credentialism must end, and soon, or 'college' really will become the stinking albatross that Mark Cuban and others claim they are.
Ah ok. That's a very specific use case though. Regular users won't do that. But i can understand that non asyncio python is not good for that specific usage.
Most people don't get married in their early/mid 20's anymore. At least if they work at FB/Google and are native-born Americans. And if they do, their partner makes about as much at a similar company.

> The folks in Phoenix out here can't make that type of money unless they're a Principle Software Engineer/Architect/VP or higher

If they work at Amazon they can as an L6 or above.
No room for buses, trains, or regular bicycles? The nice thing about a regular bicycle is the unlimited range. Whereas the nice thing about an electric bike is the speed.
My personal hierarchy is more like this:

0-1 miles: walk
1-10 miles: e-bike or bus or lyft
10-100 miles: regular bike or train
> 100 miles: car
Only ~40% [1] of those PC have discrete graphics. ( Updated to 40%, turns out there are 140% GPU shipment compared to PC shipment, 39% of them has dGPU ) But even so the APU used in consoles are very little in numbers compared what Nvidia sold in Cars, CUDA, dGPU, Crypto Mining etc.
The AMD numbers already includes APU. Even on an conservative estimate of 300M GPU unit sales and AMD 10% market share, that is 30M unit per year.

So the OP was so wrong I am not even sure where to start.
( And to make thing worst HN are upvoting him, talk about fake news problem. )

[1] https://www.jonpeddie.com/press-releases/gpu-market-increase...
The last 20 years certain elements have been pushing distrust and hatred for both politicians and journalists.

However I'd hope that we move to some agreed standard of signing of videos, so their source can be confirmed by the player. It doesn't matter if that source is the bbc, washington post, alex jones, national enquirer, the onion, or "Bob Joe Billy-Bob the Third", it means you know where the video came from, and can trust (or not) it based on that information.

A video with a bbc banner showing the president saying something could easily be faked. One that is signed by the BBC will only be fake if the BBC itself is publishing it as a fake, and that comes with a reputational impact.

Sites that reversion that video (recompress it etc) can simply sign it by themselves. They could claim that they took an original BBC item to do it, and then it's how much you trust that site.

People see someone, be it Donald Trump, or John Simpson, or Walter Mondale, and instinctively know that person said what they can see. That's changing, and it's going to be a long time before our brains change. Even now, you read some rubbish that you consciously know is rubbish, but part of it lodges in your subconcious and affects your thinking down the line. At least if you know who created the video, it gives you a fighting chance.

With this system anyone can still publish, even anonymously, but reputations are hard to gain and easy to lose. I don't like the daily mail, but I know if they publish a video of Obama saying "Killmonger was right, and President Trump is a total and complete dipshit", I'll probably believe he did. If he didn't, that will come out, and the daily mail is off the list of sources I trust to not make crap up (rather than just bend things), and it makes it far easier for reasonable people to dismiss it.

This moves the onus on news sources to be more discerning in their facts, but if they get it wrong then they lose their readers. By signing the news, they are backing it with their reputation. If Alex Jones has signed it, then he's putting his reputation on the line (if he has any reputation for saying something).
Level 12 | Full Stack Web Developer - Python, React, SQL | Louisville, KY | REMOTE, SALARY:$100K-125K, https://www.level12.io/careers/

We have an opening for mid a senior level position. Please see our website for what is probably the most detailed job description you have ever seen. No plain, repetitive, HR riddled job description here, we want you to know what you are really getting into:

https://www.level12.io/careers/

- If you apply as instructed, we will give you a yay or nay response. No black holes here!

- We have a commitment to transparency and offer a “no surprises experience” throughout the interview and hiring process.

- We practice and preach sound development practices. You are likely to learn and grow as a developer while working here.

- You will have the option of working from home or our office, whatever suits you best. Let’s make the most of our time and minimize commuting when not necessary.

- We emphasize work/life balance and adopt policies that make sure our people don’t get burnt out. For instance, our PTO/Vacation policies are designed so that you actually use them.

- A commitment to Agile Principles while not being enslaved to any particular methodology.

- You are committed to automated testing of all the software you write (our apps typically have 92%+ test coverage).

- You recognized that there is a lot of idealism in the software development community and are not disenchanted with the the day-to-day realities of programming.
Rise of citizen developer: assessing security impact of online app generators
Then let's make them real arrays:

#include <stdio.h>

#define N 8

int main(void) {
int a[N], b[N];
int *p = &a[0];
int *q = &b[N];
printf("%p %p %d\n", (void *)p, (void *)q, p == q);
return 0;
}

Results:

$ gcc -std=c11 -O1 ar.c; ./a.out
0x7ffd32d048c0 0x7ffd32d048c0 0
$ gcc -std=c11 ar.c; ./a.out
0x7ffe3f8ccd60 0x7ffe3f8ccd60 1
SWIFT is working with Chainlink to provide decentralized oracle data between SWIFT network between banks.
Visby | light field capture | visby.io | San Francisco (550 Bryant St) | Full-time | ONSITE | Mid to Senior Software Engineer & Computational Geometer | $100-140k + equity DOE

What We Do: VC-backed seed-stage startup building natively holographic capture and playback for photographic quality VR, AR, etc. Goodbye, uncanny valley (hello, a lot of math). We're a software company, but we have a big pile of cameras. You can check out a 2D representation of one of our images at https://www.visby.io/fire

Stack: Python, C++, CUDA, Open GL, AWS.

The Team: There are ten of us total, seven on the engineering team. I really appreciate the value placed on communication and work-life balance. Also, my bosses make me laugh on the regular.

Values: We're solving hard problems, so we value creativity, communication, and generosity in equal measure. We welcome a wide variety of personal and professional backgrounds and consider applicants without regard to race, religion, ethnicity, age, gender, sexual identity or expression, medical condition, socioeconomic status, or any other category of experience.

We're Hiring

• Software Engineer, Computational Geometry: https://bit.ly/2KHHyJa
• Senior Software Engineer: https://bit.ly/2Fg7QlQ
The Russian formalist school of literary criticism had terms for "story time" and "reader time": https://en.wikipedia.org/wiki/Fabula_and_syuzhet
Feels like Apple vs, say, Samsung.

Margin vs Volume
This is a Nature Briefing, not an article/letter. Nature is still a serious scientific publication, on par with Science and NEJM.
They're currently cracking down hard on VPNs from what I've heard.
Good question, I was just waiting for the all Nicolas Cage version of LotR
Bradfitz/homelab
It's not so simple in my mind. Sure it sounds good on paper to just throw out laziness and go strict by default, until you realize how much you are giving up by not having laziness the default.

My difficulty with Haskell was not that it was lazy, but that it was hard to tell how something would be evaluated without understanding it's entire evaluation model.

I think you could have a lazy by default language that makes this a lot more transparent but I'm still thinking about how that might look.
Opinions regarding NYC:

> There's a pretty narrow window between a distance that's too far to walk but impractical to hire a car.

For places I need to go, the window is pretty large, and the bike will usually get you there faster.

> It's useless if people are unfit to drive: injury, tired, drunk, etc..

But that's not usually the case.

> It's not great for going places with friends because it doesn't take a very large group before someone isn't fit to bike. Also, for 6 people each taking a bike is $24 for a 30 min ride. Any ride sharing company will be cheaper than that, you don't have to work, and you'll get there much faster than 30 min.

Renting bikes is free assuming everyone is a member. But yes, I find biking is usually for solo transportation, not groups.

> Everyone except literally the current user of a dockless bike is going to hate them so you're limited to where the company has docking stations. They're going to be the fastest vandalized property.

NYC has docking stations almost everywhere now, and I've never once seen one vandalized.

> Anyone who's actually into riding bikes will just buy one.

I own a bike for long-distance biking and exercising. Bike share is for getting around practically and quickly, and particularly unplanned trips. I'm not a "bike person" and I'd hate to have to bring my bike everywhere I go, it's a huge hassle. Citibike being everywhere makes so many small trips massively easier and faster than any other option (you're almost always faster than a car).

> Technically you're not guaranteed a bike back from wherever you go. Although in practice you probably will since in all likelihood you're the only user of this particular service.

90% of the time it's not a problem. When it is, you just fall back to whatever you would have used otherwise.

> Your biggest market would be commuters who want to save on paying for a car/taxi/subway but people with regular destinations should reasonably just buy a mid-tier bike.

I'm not sure very many people to it to save money. In NYC, it's just so much faster and more convenient than car/taxi/subway for a lot of trips.

Also, to clarify why Citibike can be faster than car or subway, it's because you always zoom past all the cars stopped in traffic (and NYC traffic spends a lot of time being stopped), and ~match their speed otherwise. The main use case is, say, going from 23rd and 8th to 45th and 3rd... not for going from Harlem to Wall St. A 30-min walk or a 20-min drive becomes an 8-min bike ride.
> This way the two systems can work together

That's the way it works in Helsinki. In the summer docks appear, stocked with bicycles. If you look on the local transport-company website you can see a realtime map of the trams, busses, and the number of bikes available at each dock-site.

For example on the following map you can see the number of bikes available near my house:

https://www.reittiopas.fi/pysakit/HSL:1160404

It costs €25/month to be a member, and then you can ride any bike in the city for free for 30 minutes. After that you pay, or park your bike and take another.

I've never used them, because I grew up cycling on the other side of the road and I'm a little too nerveous to cycle here, but I suspect that fear will fade in a few more years.