skysight-inc/HackerNews huggingface dataset:
Formal verification, yes. Mechanical verification (dependent types, SAT/SMT solvers, model checkers, etc.), not necessarily. I don't mean to insult the efforts of the mechanical verification community, but it's preposterous to suggest that the only way to verify programs is to use a computer. Hey, we have brains! We can use them too!
> You're obviously just making stuff up

I am passingly familiar with sheep and cattle management on a small farm in the US, and based my assumptions on this process.

> and not familiar with how this is done in Iceland.

That, however, is true. Your description is fascinating! So Icelandic shepherds aren't managing the sheep during the summer? No feeding, medicating, breeding, etc?
Really inspiring. They've perfected their craft.
I have no idea if it's true, but compiler implementers swear that their compilers perform so many optimizations, and that those optimizations allow additional optimizations, that this kind of approach would bury you in messages.
This is not Robotics Studio. It's a simulator for training and testing deep learning/reinforcement learning algorithms for autonomous vehicles. However we are sure community will find other uses :).
So, because he expresses very little patience for repeated arguments about a public policy debate that's been going on for decades before he was born, your conclusion is that he must have some sort of defect in understanding other people? Like, some sort of autism spectrum disorder?

Perhaps he has no problem interpreting other people's opinions. Maybe he's just tired of dealing with polite sounding condescension from people who don't agree with him. Holding views that other people dismiss out of hand with implied "you'd agree with me if you didn't have aspergers" style ad hominem arguments for years tends to make them bitter.
If someone "steals" your startup idea, it is probably a good idea to begin with. I'd be ecstatic that the idea has been validated.

Over the years I've met developers and others who've talked about how they have a great idea, but then they Googled their idea and someone is already doing it. My response is always "so". Either analyze the deficiencies in their product and do it better, or find a new twist or angle to a concept that has never been tried.
Content from ordinary people works way better than stock photos
RAD with WinForms was alive and well for many years after in the .Net era.
Once Cloud Spanner leaves beta, it will be covered by an SLA. GCP Alpha/Beta products don't have SLAs for the most part.
> The World Bank, for example, makes lots of overseas investments in places ...

Perhaps you meant the International Finance Corporation (IFC)?

The World Bank's mandate is primarily to give out loans to developing nations. The IFC is the arm of the World Bank Group that makes investments.
> In other languages like C, Ruby or Python there is the expectation that whatever happens on line 1 will finish before the code on line 2 starts running

actually, if you are into asynchronous programming (I am), I would claim the opposite. When writing an async program in C# you need to be acutely aware that in-between any two sequentially executed lines, entire threads of execution could have been invoked and completed. If you don't design for that, you WILL have race conditions.

Moving to nodejs 2 years ago, and something that I am still mindful of, is that you will NEVER have race conditions, as the entire user code will execute in a single thread, with interrupts only occurring between callbacks.

I like it because it's very easy to construct high performance professional apps in NodeJs (most devs are not multithreading experts) but sometimes I miss the idea of leveraging tons of cores. But that's why we scale horizontally (more 1 or 2 proc servers, less 32proc servers).
We would love to connect and see how community is using this. Join our FB group and we can take it from there: https://www.facebook.com/groups/1225832467530667
Adding Same as Billing Functionality to Your Shopping Cart
For the record, I thought of the similar things before I saw Nugget and I signed up for it at some point. If I ever decide to do something similar (not likely, too many other things), I don't think I would feel I was stealing from anyone. Anyhow, don't think this is a big deal. I think it is nice to subscribe to OppsDaily as well.
Have you plans of emulating real hardware and running something like Betaflight[0] on top of the emulated hardware?

Betaflight is the most popular firmware for racing drones, so it could be cool to run that, and test different configuration changes.

[0] https://github.com/betaflight/betaflight
There's no money in devtools for general desktop app development. Embarcadero knows that the only way to grow the delphi userbase is to make it free, so they're instead trying to milk it for all it's worth on the way down.

I had a bit of hope for delphi with mobile app support, but the pricing really killed it now that microsoft offers xamarin for free.

Plus, object pascal is too weird for js coders. C-style syntax is a must, even though object pascal is in many ways a better language.
It is a 160k city in Southern Italy named Foggia, the aerial map picture of the quarter involved is here: http://www.nukepep.com/2017/02/14/ds-1-foggia/ . They are calling for ideas from architects and engineers. No chance there will be the opportunity to do it for real any soon, but a way for them to stimulate the mayor.
> It's ridiculous to expect an extensive spare-time open source effort plus 2-10 hours of free work for an interview.

It's a bit of a misnomer to think that businesses expect (or require, as some put it). In reality, they can only weigh their options. Of course, the more options they have, the more particular they can be. It is not unreasonable to think that they had many suitable candidates, and the one who had the most visible evidence of past work became the preferred choice of the group.

Mentioning to the OP what helped cinched the deal for what candidate did get the job may have just been meant as a point of information. Of course, it's difficult to say what really happened without being an observer to the events that took place.
> This is mostly because local students already have an established friend group.

I don't think that's correct, at least outside small countries. I certainly didn't find it unusual when all my school friends went to different universities. Two others from my school were at the same place I was, but they weren't friends of mine.

My university was in London, and had a very large proportion of foreign students. Many of the Chinese students hung out together. The Europeans (including the British) and other westerners mixed together, divided more by interests and age than nationality. Some groups (South Asians, Japanese) mixed with some British students with similar ancestry.

I ran a social club for a couple of years. The students on short exchanges, like ERASMUS, seemed to make much more effort to join in with clubs, teams and societies, since they were only there for a few months.
> now degraded because of uncontrolled migrants roaming and making it a no-law-zone at night

I feel like the data science part is worth a discussion, but I, and I assume others, am bothered by your reasoning for why the city needs improvement.
To quote the headline of the article:

>it’s easy to make enemies of people we only read about.

Your entire post embodies this. Are you seriously comparing feminists to the KKK?

Am I falling victim to Poe's Law here?
Not that I understand how the deal structure is priced, but that seems like a win for Yahoo at this point?
Eh, I guess I'm more tolerant of not making it syllable-count perfect. I mentally tested them and all of those sounded fine to me, with some minor bastardization of the pronunciation (instead of Jethero, for example, I put a tiny pause half-beat in it).
Come to France and everyone will insult you and your mother, it's quite a change.
I've been working with Lazarus on a daily basis for a while now (I work at a mostly Delphi company, but our server code runs on Linux so we write it in Lazarus). Can't say I have the same problems as you do. My host is a ubuntu machine, and I did install the latest version from their website, not from the package manager. This seemed to fix most of my issues with Lazarus.
I get the whole "slack welcoming Microsoft"[0] vibe from this post. Welcoming the competition in a tongue in cheek kind of way can be a clever marketing ploy sometimes although it's very rarely executed successfully. I think whatever you were trying to achieve with this went out the window when you released user activity information. The post is sprinkled with resentment which I don't think reflects the best on your business.

Competition, for the most part, is healthy. It validates that there is a market. Many successful businesses are created this way. The competition may/may not execute the idea better, but if they do then at least you know you have room for improvement. If they don't, well then that only strengthens your position as the front runner.

If it's a complete carbon copy, then it's usually survival of the fittest with who can obtain the most exposure. Don't get me wrong, I understand why you would be frustrated - it's never easy when a direct competitor pops up that can threaten the success of your business just as you're getting established (especially when you're emotionally and financially invested in it), but I think you're going to look back at this and realise exposing the competition this way really wasn't beneficial for you.

Regardless, keep your chin up. Don't let these types of things get you down - use it as a driving force to continue to improve and grow!

[0] https://www.linkedin.com/pulse/why-slacks-full-page-ad-new-y...
Keygenmusic.tk – tracker music player
Another slightly better quality video: https://www.youtube.com/watch?v=cvJYSmplzXc
Thanks! We use it internally to manage our own AWS instances. In particular, we needed to create a lot of short-lived demos for our prospects and awless is handy for that.

For the future, we want to support more AWS services to start with and extend the templating system. If you have any suggestion, feel free to tell us.
How Sublime Text’s Preferences Work
Gluu and Symas Collaborate on NextGen Identity and Access Management Platform
> mobile data is cheaper than wired connections

In which countries is that true? Certainly not any that I visit.
> and try to dismiss all your opinions in every way possible

"The problem with this way of thinking is..."

Maybe people should rephrase so that they say what is right about your way of thinking first. By always framing the problem first you dismiss all the good parts as well.
I don't normally complain/comment about downvotes, but I'm not getting the downvotes here. Input? Maybe my sentence was just poorly worded?
That makes it sound like a ticket-shop; you're treated like a bricklayer rather than a software engineer?
For NPCs and robots: Building character AI through machine learning
This is a great example of why you should give yourself some time to cool off before reacting to something that has upset you. I'm sure Justin is a perfectly nice guy, but by ignoring user privacy and (in my opinion) going a bit over the top with his rhetoric he has left me with a needlessly sour aftertaste which could have been avoided with a clear head.
Unfortunately that is the exact reason why locals are relocating in mass from that quarter, there comes the contest.
These schemes are all insane. Just imagine the damage done to the environment by:

1) Tens of millions of fans floating in the ocean and blowing air on the ice.

2) Oceans being flooded with massive amounts of green algea, sucking up CO2 and producing who knows what out of it.

3) Filling the skys with sulfer aerosols to block out the sun.

There is no way CO2 can be worse than any of those.
How does the quote show that he "brings the drama"? I mean, that's on his own blog. It's not like he's exporting that. It's not like he's going up to black people and saying "you're almost retarded."

I think the CML incident and the time where he yelled at some Debian developer about "our tribe" are better examples, because at least there he's going into other people's spaces and actually confronting them.
Same here, in 2012. I talked with who I remember is one of the founders. I believe there were already in Toronto or in the process of moving from the Waterloo area.

It was very bad as far as whole process was concerned. I didn't mind though since they were in their infancy and I moved onto a different position anyway.
"Responsible for" is different than employed by. The article you linked says he employs 22k people, not 34k. Either way, that's much larger than 200.

I did a brief search for "Trump Organization employees" and can't find the article I read last week. So, my apologies, I'll just have to say that I read it in a reputable newspaper.

Still, I find it plausible that Trump Organization directly employs a handful of people and the rest of the 22k are employees of subsidiaries.
> Anyone in favor of this should have to spend a few months in Dehli, Beijing, Chongqing, or even worse, a true industrial city or district in either country.

I wish people understood something about environment concerns, the action of using cleaner methods is a 'cost', and this cost is only worth paying when the people behind it are willing to pay the cost.

These countries aren't dirty because they don't have an EPA, they are dirty because they are making their lives better and for the time being they don't care about spending huge cost on keeping things clean.

Consider it to be like writing tests for your code. Writing tests for your code is a cost and not every team is willing to pay it, even though they should. If govt creates a National Testing Agency in 1987 which forced teams to have certain code coverage and tests then it would have faced major opposition from most people. In 2007 even fewer teams wrote tests, and in 1997 very few teams wrote tests. Similarly in 2027 testing standards would be a lot bigger norm where the presumption would be that every component is fully covered and tested.

When West had its industrial revolution it was pretty dirty, but it was acceptable to most people because their standards of living were going up exponentially high. Sooner or later after reaching a plateau of progress, they realized that at this point they don't care about increase in standards of living via goods as much as they care about other things like cleaner environment etc.

People in India and China currently don't care so much about environment because of the magnitudes of progress they are seeing. Soon enough they will start valuing cleaner air and water.
I would guess that just getting a random problem to solve might not be appealing to all devs.

On the other hand, maybe some people are having problems that may have already a close-enough solution so that why would I want to build yet another one, or maybe some are so hard to implement or would require too much effort that they don't get any interest from devs.

Pretty often when I meet someone and tell them what I do for a living they start giving me all these ideas that I should be obviously doing because they are so great and no one has solved that before, or they ask me if I would know how to solve this 'simple' problem of theirs, only to have them be surprised when I tell them how much it would cost to develop an app that has offline-sync capabilities, social media features, stores pictures 'for free', etc so that they can manage their neighborhood gardens or their pottery class (hint: I'm not doing it for 500 dollars).

I'm guessing some of that could be happening here if the problems-to-solve are not curated by estimated development cost or by simplicity.

Of course, I'm not the OP so it's just a wild guess :)
A CubeSat (U-class spacecraft) is a type of miniaturized satellite for space research that is made up of multiples of 10×10×11.35 cm cubic units. CubeSats have a mass of no more than 1.33 kilograms per unit, and often use commercial off-the-shelf (COTS) components for their electronics and structure.

The term "CubeSat" was coined to denote nanosatellites that adhere to the standards described in the CubeSat design specification.

Source: https://en.wikipedia.org/wiki/CubeSat
The US qualifications may vary slightly form state to state but in California is is based on minimum income on a quarter basis over the past year. This threshold is pretty low but the benefits are minimal also. You can continue to work part time but the earnings are subtracted from the unemployment benefits so rarely a net gain.

The real problem with part time jobs is that they usually don't include health insurance benefits. It is cheaper for an employer to give one full time worker health insurance benefits instead of giving two part time workers health insurance benefits.

I think if the US had free national health insurance it would really change the landscape of part time jobs as more people would be open to it.
> Did you even read the article?

You literally broke the HN guidelines here. I agree that the headline is misleading, but nonetheless it promotes interesting discussions that can bring more value than the article itself.
Well, I was responding to specific parent's statement: "Being shackled to existing file-based tools holds you back from improving the software development process." This seems to imply to me that non-file-based tools have some other improvements to software development process.

I think both you and I agree that software development process improves mostly independently from file-based/image distinction. There are no visible ways when files are "holding back" the software development.
We typically do yearly performance audits with Percona to ensure our databases are optimally configured. We disable the query cache. We set innodb_buffer_pool_size based on a % of total memory (as MySQL will use more than that in total, much for allocating connection structs and things like that). We set innodb_flush_log_at_trx_commit to 0 which is not ideal for data integrity but gives us more performance. In practice, because of Google's Live Migration technology we have never experienced a crash due to hardware on our master nodes (LM will run an emergency migration for any server that has hardware that is detected to be going bad before it becomes a problem) and disks are abstracted away even further. Our main risk is the kernel crashing or MySQL crashing which we've been fortunate enough to not happen on our masters. Spanner provides ACID compliance by default with all the scaleability and performance we get out of it.
Your original post is extremely misleading with your apparent intent, to me.

Yeah, if you have no ops staff, and try to run your own servers you're going to do something terrible. No one is suggesting that.
> https://tophat.com/marketplace/generalchemistry/

$60 plus a "subscription," whatever that is.

I can't speak for the quality of the books, but searching "general chemistry" on half.com gives me a bunch of entries in the $5-30 range. They're a few years old, but I can't imagine general chemistry has had many radical changes in the past decade.

These textbooks work with Linux or any other operating system. They can be re-sold, probably for the same price at which they were purchased. There is no learning curve to using a textbook. The textbook's servers will never be down. The university has to pay no licensing fee to the textbook. Textbooks do not have technical glitches. I can read a textbook on the bus, on a plane, in a car, or anywhere, with no worries about running out of batteries or losing my network connection.

Why on Earth would I ever pay more than twice the price for a far worse user experience?
> I'm not sure I understand you. What is the difference between undefined and unspecified behavior?

They explained in the very next sentence: "e.g. it's not specified what result an integer overflow gives, but the rest of the program must continue normally".

(In the C standard, "unspecified" is an explicit marker for things where a compiler must document its choice of semantics.)
Ask HN: Learning C: Books, Tools, Community
TL;DR: What are the good books, tools, and community places? I'm a Linux user interested in user-level C applications like NGINX, Redis, SQLite, and Python bindings for some C libraries.

----

I'm in the process of learning C and am hoping that you all can help in the discovery process. It took me a while to figure out that the best material for learning is in books. And, that has me wondering: What else is obvious to everyone else except me?

For a general idea of where I'm at, I am intested in working with for user-level applications, especially in the networking and database area like NGINX, Redis, and SQLite. I'm also interested in writing Python bindings for some C libraries that I use often.

I'm a linux user and generally do everything in the terminal. So far, I've written a couple programs (a couple CLI programs for processing text and a simple HTTP service using Kore) and am looking to get into something a little bigger.

In terms of books/sites, I've read the following already:

- K&R

- The Standard C Library

- 21st Century C

- Expert C: Deep C Secrets

- Python 3 C API Docs

- The Linux Interface (reading now)

For tools, I'm already using:

- Vim

- GCC

- GDB

- Make

- Valgrind

- Autotools

- `man 3 {some-libc-thing}`

- `man 2 {some-syscall-thing}`

So, what am I missing? I'm especially wondering where all the community is.

- Where do people that write C gather and talk? Forums, Mailing lists, etc.

- What books/websites are best for learning C?

- What tools should I be using? Strace, something for profiling?
Where did you get the idea that NTP is defined by a 'reference implementation'? Going back to 1988, Dave Mills has been documenting the NTP protocol. https://tools.ietf.org/html/rfc1059

(Personally I don't think that's the best way to do time synchronisation, but it is fully documented, measured, etc.)
I was thinking of students who go abroad after a couple of years. I suppose in the US and UK it is more common for foreign students to start from the beginning with the locals.

As for socializing with people from your own country vs. locals and others, I observed two factors:

1) If you are from a big country, it's easier to stay with your own countrymen. If you are from Belgium or something, you have to find friends from other countries.

2) International students motivation tends to vary between adventure/experience and opportunity/academics. Those who are abroad for the experience are more motivated to get out and meet different people. This is largely orthogonal with introversion/extroversion. But, students from rich countries more often moved for the experience, as the opportunities were similar back home. Students from poorer countries are more often motivated to get a better education and future opportunities, and may have more pressure from home to focus on their studies.
That might have been true awhile ago, but today you can get GPS-disciplined oscillators that can produce 1 PPS accurate down to tens of nanoseconds. By accurate, I mean "replicates what the NIST or USNO atomic clocks indicate."
5 top tips for prototyping web apps
Team Libraries in Figma
Kms doesn't have a size limit if used right. You should use kms to store a key and store the data on s3 encrypted.
Totally agreed. Also a good reason to let other people review your controversial posts before you publish them.

I've always been kind of annoyed by pg's "Thanks to [these 8 influencers] for reviewing early versions of this article" footnotes, but I think it's valuable. (Annoyed because it feels like namedropping. That's my bias though, not his problem.)