skysight-inc/HackerNews huggingface dataset:
It doesn't matter if the C code you are generating only gets seen by the C compiler. It does matter if humans need to see the generated C code, understand it and debug it.

This happened to me at work too. A large majority of the codebase is manually written C, but some of that is too tedious/error-prone to be written so they are generated. We invested a great deal of effort to generate extremely readable code, even with comments and all. The reason is that other people need to read this C code—both interface and implementation—as they work.

Speaking of GHC, the Haskell ecosystem actually has great tools to generate readable code. The various Wadler/Leijen libraries like ansi-wl-pprint make it a breeze to generate readable code. Indeed not many other languages have so many good, if a bit idiosyncratic, libraries to choose from just for pretty printing!
It is exhausting. Lots of amazing experiences are.

I know many parents who lament the sleepless nights and dirty diapers and impossible choices they have to make, but apart from a few overly ambitious people who work too much and care too little about their own family anyway, I don't know too many that regret the decision.
Load up Valgrind and check how many memory leaks are in Brave, hundreds.
It isn't just tinkering that means the C must be readable. People need to be able to read it and understand what it does without learning F*.
In a way, it's easier to support parents in a poor country because everything is cheaper there. Give them $1000/month and they will probably live better than you.
Users as Ends in Themselves: 7 Heuristics for Humane Design
There's a wonderful quote about things like this in the Unix Hater's Handbook:

> However, since joining this discussion, a lot of Unix supportershave sent me examples of stuff to “prove” how powerful Unix is.These examples have certainly been enough to refresh my memory:they all do something trivial or useless, and they all do so in a veryarcane manner.
Denmark: almost all (cold) sales calls are forbidden by law.

Exceptions are sales of books, newspapers, insurance, and research (e.g. Gallup). There is also a "do not call" list that blocks all such calls.

In Danish: https://www.forbrugerombudsmanden.dk/hvad-gaelder/markedsfoe...
Bus powered and decent res (not 4k), but very workable for writing code a casual web browsing. I put a comment about my experience with one above.
There will always be exceptions.

But I don't think most people go to an interview without having googled "how to ..." about the interview process first. Thus even those not naturally talented at negotiation have a reasonable chance at negotiating decently.

Talent/job competence + a little bit of research and preparation prior to interviewing will ensure superior results IMHO.
Why is that? You can't do that from looking at a file with an unknown extension.

Physical connector technology and signaling protocol are entirely different things. I'd be fine with literally everything using the same physical connector, but knowing that I can't and shouldn't plug my 5VDC battery-charger into a 110VAC outlet.

I still have speakers that are connected by stripping a lampcord pair with my teeth, pushing a little button, jamming bare copper strands into a hole, and releasing a little button. I think you're asking for too much. Everything using one reversible connector that almost always guarantees 5VDC in a fallback mode is better than what we have today.
Race variable is often correlated with other data.

Look at red lining in real estate/banking. They marked black neighbourhoods with red boxes, white neighbourhoods with green. The bank would approve business and home loans depending on if you were in a red or green area. Algorithmically the banks did not engage in a racist practice but systemically they are.
The numbers I've seen are more like: give up anywhere from $30k to $130k per year for a chance at an equity payout. The only way that works out is if $num_years_worked * $discount_salary < $potential_payout * $chance_of_payout. So if you are getting shorted $50k/yr and you spend 8 years helping build the company, you need a payout that is better than $400k with 100% chance of success. Something like 90% of companies utterly fail. I'm sure some VC math can be applied here. But the VC gets to roll the dice a lot. You get to role the dice once every few years as you change jobs after getting some vesting going on. There is a reason why it is called the start up lotto. You can pad the chances by going with founders with a track record, or going for a company that is nearing an exit, but it is all still the start up lotto.
Is there a depth you can install something like that so that it's simultaneously not terribly invasive of a surgery and not able to be pulled out a determined individual?
"There people always made the point that human judges making just decisions based on fairness."

I once had the 'pleasure' of working with a Magistrate. She was the most bigoted, opinionated person I've ever worked with. Judges are at best, just like everyone else.
>There are plenty of places with pay transparency and they work just fine. The information imbalance is only to the benefit of the employer.

Citations?
Dr. Jordan Peterson has much to say about this in terms of Psychology [1]

[1] https://www.youtube.com/watch?v=WOjzCi9wIhE
That's a very interesting take. I know as a man, I'd rather work in a place where anyone propositioning someone else would be fired (man or woman) than a place where I may not even get the job because I'm male.
Sound like mission impossible
Thanks for sharing and interesting industry perspective.

Color me unconvinced on one point though:

> Only very recently, there came an FPC maker that makes custom cabling with some proprietary dielectric that can handle 3.0.

A brief glance at IPC-4203A (which has been around since 2013) tells me this is a consequence of market cost sensitivity, not one driven by the inherent performance limitations of available material.

The latest IPC-4203B was just published circa March 2018 last year. Is there something new worth looking into here, or is this "recent advancement" just a manufacturing process-driven one which has made high-performance FPC more viable in the throwaway consumer electronics market?
Thank you for your service.

Actually what you're doing isn't really non-scalable-- the spam calls are just not viable if even a small percentage of non-victims waste their time.

(Though I've noticed now that they're automating more of the calls, it takes some effort to get through to a human... and the automation is starting to sound surprisingly realistic)
The issue is with USB-C you can run into limitations at the cable level where the cable is too long or poorly shielded to provide devices with the right data speeds/power requirements and some companies (cough apple cough though it's bleeding more into other places as the aesthetic gets copied) refuse to properly label things. And some of the differences are not spelled out anywhere, for example to get the top thunderbolt 3 data rate of 40Gb/s on a passive cord you cannot have a cord longer than .5m. To get a longer cable to pass the full speed (to drive say an eGPU or high res monitor) you have to get a more expensive active cable (that may not work because companies online are unscrupulous and will try to rip you off). All of this is extremely opaque to users who just want to have a slightly longer cable to arrange their desk as they prefer.

At least with the different connectors and cables I didn't have to worry so much and things generally worked when plugged into the right place.

[0] https://www.cnet.com/how-to/usb-type-c-thunderbolt-3-one-cab...
You're making a logical error here in assuming that it's related to biology.

If we were to assume that biology is the reason why women avoid certain fields, then this logic should hold true irrespective of the amount of gender equality a region might have. In fact we should assume that the two factors should compound: That is, if a region heavily discourages women from entering into STEM careers then that combined with their biological inclination to avoid said careers means we should see the numbers crater.

So given that this hypothesis does not hold to be true we can clearly show that it's not biology that's the case. It's far more complex than that and is the result of various social and economical factors. Reducing the entire argument into 'it's biology' does a disservice to examining social trends and is mentally rather lazy in my opinion, considering it can be easily used to explain everything.
Ask HN: Recommendations for Standing Desk?
I am an existing desk and am looking to add something like this on top:

https://www.amazon.com/Adjustable-Standing-Converter-Workstation-Keyborard/dp/B072Q5M6H5/

I am wondering if anyone is using something they are happy with?
Most people don't use things to their full potential. We have cars with larger engines than needed, CPUs and memory banks that rarely stay above 90%, food that gets tossed out daily, laundry washed and dried at half capacity and below, and so on. Many developed nations would look differently if we used everything to their full potential potential.
SEEKING WORK - Remote Senior/Lead Python Developer

I'm a Senior Python Developer with more than 10 years of experience in web development.
Location: Europe/EET (EST working hours)
Remote: Yes
Willing to relocate: Yes

Backend skills:
* Python 2.7/3.x Async/Threading (DRF, Channels, Scrapy, Celery)
* MVC Frameworks: Django, Flask
* PostgreSQL, MySQL, MSSQL, Amazon RDS
* NoSQL: Redis, Mongo
* DevOps: Docker,Kubernetes,Ansible,Chef,Terraform,Linux/Nginx
* CI: GitLab, Jenkins, Travis CI/CircleCI, Heroku CI/CD
* Cloud integrations: AWS, Google Cloud, Alibaba Cloud

Frontend skills:
* React/Redux, jQuery, Twitter Bootstrap

Github: https://github.com/inoks
LinkedIn: https://www.linkedin.com/in/slyapustin/
Medium: https://medium.com/@s.lyapustin

Languages: English, Polish, Russian
Operatorhub.io – The Registry for Kubernetes Operators
If the paper sheet icon is not there, prepend about:reader?url= to the url to activate it manually. It even works most of the time even while Firefox thinks it can't be used on this page.
Easier said than done. Most plastic (and other garbage) floating in the ocean comes from developing economies that can't afford or will not build landfills or proper garbage infrastructure.
Wow, "only starts charging while awake" really explains some confusing mornings waking up to a dead laptop.
I imagine you want to make the point that primary School education is more important than secondary School education (which may be true) and thus should be paid better.

I disagree with this in general, because I don't feel like the skills and knowledge needed to be a successful primary School educator are as difficult or unique as those needed to be a secondary School educator.

My reasoning is that a good percentage of the value that comes from primary School education is based around behavioural education, such as learning how to interact and behave with peers and teams. It also is a place where students learn authority and social heptarchy, and punishment and consequence. In addition to learning the foundations of school subjects.

In secondary education, it's assumed that the student has learned all that, and their attention will be focused on difficult study of each of their subjects. The professor should be an embodiment of that subject, with understanding beyond primary School educators. Likewise it's arguably more difficult to keep the attention of University students than primary students.

On the other hand (as in not in general), if someone was a truly exceptional primary educator / early life coach / babysitter, what have you, then the private sector would be a better place for them I imagine.
Do you mean introducing new payroll taxes? If I understand correctly there are some now levied by states for unemployment, training, and such, but there is only so much money that you can reasonably use for that.
That's not right. You can make a secure password using only ABC as your character pool, if you make it 60 characters long. In that case the percentage of combinations covered by n-1 is a full third of the n character combinations, and your attacker can get a 25% speed boost by you revealing the length. But it's still more secure than a 59 character password, and far more secure than a 57 character password, and all of them are extremely secure.

A good way to look at it is to measure the password in bits of randomness. At most, revealing length can shave off one bit. For any reasonable character set it shaves off a small fraction of a bit. And one bit does not make the difference between good or borderline or bad.
Bail conditions are all well and good, and it's not an either/or--even if you pay cash bail for a domestic violence charge, you're still required to stay away from the alleged victim.

The purpose of cash bail is to make sure the suspect shows up to court. Which--sure, can be replaced with monitoring, and then instead of having a bail bondsman pick up bail-jumpers at zero cost to the taxpayer, the taxpayer can pay the sheriff's department to round up bail-jumpers instead.
It sounds like they took both of them into a room with a white board and found out he was a lot better of an engineer than her. Controversial...a man out performing a woman....
Is Thunderbolt worse than USB??!

Edit: my god. It is just like a hot-pluggable PCI. DMA for everyone!
USB is already fast enough for all the things we've traditionally used USB for: wifi, mice, audio, smartphones, printers, thumb drives, HDDs, etc.

It's not fast enough for next generation use cases: external displays, eGPUs, or modern SSDs.
Uhm....you can definitely connect the LG 5K UltraFine display to the latest MacBook using the USB-C(TB3) cable included with the monitor and it will work(and even charge the MacBook at the same time). So the MacBook definitely has enough power to drive it. But if you use the cable that was bundled with the MacBook it won't work even though externally it looks the same and will fit ports on each side.

Less extreme example is how the OnePlus USB-C charger won't charge the Nintendo Switch, even though they are both USB-C certified devices.

Edit: sorry, I just realized that I could have been misunderstood. I forgot that "MacBook" is a device that exists. Obviously(to me) by MacBook I mean the MacBook Pro.
I think how far you are removed from the direct financial impact of your job plays a major role in it.

It is harder to measure a cost on society inflicted by poorly educated students than it is to measure the cost of buggy, failing commercial software. Also, students who were academic failures are not necessarily guaranteed to fail in life, since there are ways to succeed in life other than by being good at school subjects, whereas an incorrect software program can never succeed.

The same holds true even inside the same field. It depends whether you are near a cash cow or a cost center. Working on infrastructure, building tooling for other developers is not likely to be rewarded as well as writing code that could cost your company millions if there is a bug.

There are also differences in specialization. An average game dev is probably going to make less than an average mobile dev, who in turn is going to make less than what a random quant makes.
[edited for typos and grammer] Anecdotally, I've run a couple of tech conferences and know others who have as well fairly recently. We've made a point to hold workshops for under represented groups, had the Codes of Conduct, make a lot of extra effort to reach out to women as speakers etc..

In the end, we would get 5 to 10 times as many talk submissions from men, accept nearly all of the talks by women (often turning down higher quality talks from men) trying to get diversity numbers and have a much higher cancellation rate form the women for various reasons, especially money. If we were lucky we would get 20-30% women speakers when all of that was done. I've also been told by some diversity activists that, in order to get women to speak and to get higher percentages of women as speakers etc., unlike most of the men, you need to pay for their travel etc., offer free tickets for women attendees, consider offering stipends for women who speak etc..

Others, organizing other conferences have shared similar experiences. It's one thing to fight against blatant sexism which I'm for, but this is turning into something else.
CloudT: A TRS-80 Model 100 in the browser
> sure suggest that something is wrong with computer science departments.

Why? Why do men and women have to have the same preferences in what to study, in your opinion?

Does the fact that 78% of students in veterinary science are female "sure suggest" that something is wrong with veterinary science?

Since there are so many fields where women vastly outnumber men (and women significantly outnumber men overall in college) a corresponding skew in other fields is a necessary outcome: you simply run out of women to fill those seats, they are elsewhere.
Right, but this is a solution in which you're meant to control both ends (IPSEC runs from Vita to Vita). That's an ideal environment for WireGuard.
It's a vending machine for exchanging BTC and local currency. Depending on the type it may be linked to an account at an exchange or else rely on scanning QR codes for the receiving address (either the users or the machine's). Some only sell BTC, while others support both buying and selling.

I imagine that this was one of the models that was linked to an exchange account, since the QR-based versions make it fairly obvious where the funds are going and won't work unless you first set up a receiving account and present the QR code for the machine to scan.
Tucson Electric Power | Programmer Analyst I, II, III or Senior, -Java Web Development (Position filled based off the skills of the candidate)| Tucson, Arizona | Onsite| FTE

For more information please visit our website or contact mvaughan@tep.com

https://chm.tbe.taleo.net/chm04/ats/careers/v2/viewRequisiti....

We are currently seeking a talented individual for the position of Java Programmer Analyst l - Senior, Web Services. This position will be filled at the level appropriate to the successful candidate's background. The successful candidate will create new custom solutions to integrate enterprise applications both internally and with vendors and partners that ensure on-time, cost-effective delivery with minimal system and business impact while maintaining compliance with IT and product architecture. Supports complex enterprise wide IT applications and SOA (Service Oriented Architecture) Middle Tier Interfaces used by multiple business units and external partners. Assists IS personnel and consults with business clients in the use of information technology and application systems. Works directly with application vendors, application service providers, SaaS, and cloud computing providers to meet UNS business needs. Works closely with the IT Enterprise Architecture team to ensure application architecture is consistent with overall IT architecture direction.

Product Expertise: Web Application Server - Apache, Tomcat, Database - Oracle 12c

Skills Required: J2EE (JSP, Servlets), Spring MVC 4.x, HTML5, CSS3, JavaScript, Angular 2.x, Test Driven Development – jUnit, Continuous Integration – Jenkins, RESTful web-services, Source Control – SVN, Eclipse IDE, Software Engineering, and Design Patterns

Skills Preferred: Mobile Applications Experience, Oracle Fusion Middleware SOA Suite 12c, lIS, SQL Server, TypeScript, and Automated testing such as Selenium or Karma
It's been a few years since I was programming those things but IIRC the TB 3frames are comparable to PCIe 3 frames (terminology is slightly different between the two).

The real thing is that TB3 only has four lanes while Intel's server (and I believe some desktop) chipsets have 16-lane PCIe. Not sure about the mobile chipsets (again, I no longer follow this as closely/ as I used to). So indeed you won't be able to pump data into an eGPU as quickly as you could a high performance internal one. Or perhaps we should add "yet"?
Pocket is what I use for this: https://getpocket.com/

(Unaffiliated, just a user.)
I have to admit, I was skeptical but my complier did pick SIMD for the second and not the first and it did make a huge difference.

% cat t.c
#include <sys/time.h>
#include <sys/resource.h>
#include <stdio.h>

double get_time()
{
struct timeval t;
struct timezone tzp;
gettimeofday(&t, &tzp);
return t.tv_sec + t.tv_usec*1e-6;
}

int blah[SIZE][SIZE];
int whatever() { static int i=0; return ++i; }

int main()
{
double t0 = get_time();

for(int i=0; i<SIZE; i++){
for(int j=0; j<SIZE; j++){
blah[j][i] = whatever(); // Column oriented is very slow.
}
}

double t1 = get_time();

for(int j=0; j<SIZE; j++){
for(int i=0; i<SIZE; i++){ // Very fast: We move row-wise now. With luck, this is SIMD-vectorized by your compiler.
blah[j][i] = whatever();
}
}

double t2 = get_time();

printf("SIZE=%5d dt1=%4.3e dt2=%4.3e\n",SIZE,t1-t0,t2-t1);

return 0;
}

% for (( i=1; i<100000 ; i*=10 )) do gcc -DSIZE=$i -O t.c; ./a.out; done
SIZE= 1 dt1=4.179e-04 dt2=0.000e+00
SIZE= 10 dt1=5.190e-04 dt2=0.000e+00
SIZE= 100 dt1=5.062e-04 dt2=9.537e-07
SIZE= 1000 dt1=4.014e-03 dt2=1.490e-04
SIZE=10000 dt1=1.347e+00 dt2=4.349e-02

2.8G Core i7 1600MHz DDR3
And by necessity, some men take over primary parental responsibilities when their child's birth mother die in child birth or decide wifehood and mommyhood isn't for them and run off.
Then you're stuck: there isn't any way to value shares in something without knowing the denominator. Your company should be willing to provide the "fully-diluted basis" for your shares if you ask.
The question was about wealthier eastern households, not western versus eastern. I too wonder about the differences between richer and poorer eastern households.
An Easy Programming Language
While agree with your general sentiment, you ought to point out that this very much depends on the algorithm in question. Things like decision trees/forests are quite observable.
Show HN: Microsoft Teams got rid of all AOC GIFs
What gives?
I don't understand how does it work. If I'm using just desktop and don't have mobile phone or any specialized hardware, I can't login?
Can I get $10k of tax break if i move to XX and hire my wife (and kids)?

On a serious note - taxes are too high and world is too mobile. More people and more corps will find a greener pastries easy way or hard way.
This is a perfect example of why government doesn't come up with good solutions and often just makes it worse.
The Horgan Surface and the Death of Proof
It’s perfectly reasonable to consider that maybe women are inherently drawn away from the field for whatever reason. There are biological differences between men and women and it’s possible that this is one.

What I don’t understand is why so many people insist that this must be the explanation, as if the current state of things is definitely a level playing field (or biased toward women) and the fact that there are so many more men in the field must therefore be due to something innate.

We’re only a few decades out from a time when women couldn’t open a bank account without their husband’s permission, and when raping a woman was perfectly legal as long as you were married to her. I think we should give it a little more time and effort before we declare that everything is now fair and any remaining discrepancies must be biological.
duplicate: https://news.ycombinator.com/item?id=19270646

also just repeating what Mozilla published, please submit the original source in such cases.