skysight-inc/HackerNews huggingface dataset:
Yes, the performance is by far one of the best parts of Lumen.

Think of it this way. It generates exactly the code you write. It's nearly a one-to-one translation between the input forms and output code. But that's why it's fast.

If you want to see just how fast, try `time LUMEN_HOST=luajit make -B`

On my box, LuaJIT is able to recompile the entirety of Lumen and run all the tests in 1.3 seconds flat.

As for Urn, I'd be happy to answer specific comparison questions. I've been putting together a little intro guide to Lumen, but for now the best way to jump in is to study test.l and learn by example: https://github.com/sctb/lumen/blob/master/test.l

EDIT: By the way, Lumen runs on Torch too. If you want to do some hardcore machine learning, it's as easy as installing torch and running `LUMEN_HOST=th bin/lumen`.

http://torch.ch/

Try evaluating `(require 'torch)` and `(require 'nn)`, then dive into the Torch guides. You can bring Lumen's full macro system to bear on any ML problem, which greatly simplifies the boilerplate generation involved with standardizing datasets and such.
Sure, it stuns, but it was often stacked with other stuns. I don't remember it ever being used on a low health target. So I'm drawing the conclusion that the bot only understands that the skill stuns, but doesn't understand the scaling damage.

It's impressive that the AI managed to gain a rudimentary understanding of the game almost completely independently since DotA2 is a very complicated game. It's just not interesting problem because game mechanics can easily be codified. It's like being impressed at self-driving cars because the AI learned that it should stop at a red light, it should just be coded to stop at a red light. Learning to stop at a red light isn't the interesting problem that needs solving for self-driving cars.

It's definitely not the "AI is better than humans" narrative that these articles like to push.
Ah! Those were the days when there were no admins, there were 'webmasters'! They were the people behind building and maintaining the website. Think webdev + ops. Nothing today compares to the grandeur of being a 'Webmaster' in 1996 :)
It ain't what it used to be!

:-D
I remember FrontPage Express being pretty good too. Basically a souped-up web developers' Notepad.

It had nowhere near the feature set of full-blown FrontPage, of course.
Or that the basic building blocks/foundations are just terrible
> I remember about a critical piece of software with a proof no incorrect answers would come out. Turns out they forgot to prove the program would end, so they got no answer ever instead of an incorrect one.

This particular kind of problem is fortunately pretty well-known, though I won't pretend that it's not still a possibility with a lot of proof systems. In the case of SQL databases, we are fortunate in that the base language doesn't provide any mechanism for nontermination (besides WITH RECURSIVE, which most queries will not have). So we don't actually need to prove termination for most queries, but instead provide a proof of "termination-preserving refinment"--that given a query that was already going to terminate (or not), our optimized query will have the same termination behavior (as well as, if it terminates, providing "the same" results, up to the usual SQL caveats about row ordering). Now we'll still have nontermination, but only for queries that are inherently nonterminating (i.e. incorrectly written WITH RECURSIVE queries).

As far as "is this kind of proof possible at the SQLite scale": I think it is. The thing it's solving is the sort of thing that is at least reasonably specifiable ("given this SQL query and this data set, these are legal results" and "given these transactions, this is the effect on the permanent storage system"). It would be a huge effort (probably on par with CompCert at a minimum, but I'd bet on significantly more work), but I think it would be worth it: embedded databases like SQLite are very easy to drop into other programs and are used extensively, and one that was formally verified would probably be able to have immediate impact (by comparison, Sel4 or CompCert often aren't in a position to replace existing parts of consumer toolchains). I also think the database is in a position where many people would probably be prepared to sacrifice some of the hardest-to-prove optimizations in exchange for correctness guarantees.
People who aren't looking for a job aren't included in those figures.

The reason 5% is considered full employment is there will always be a number of people who are unemployed because they are between jobs, for instance their partner has moved or they are rejoining the workforce after pregnancy or even looking for their first job.
The Escape of Bernd Boettger (2014)
Equilibrium does not mean equality, far from it. It just means the situation is stable. The predator-prey relationship is in an equilibrium, but they are in no way equal.
I read quite a bit of this but couldn't figure it out: is this writer sort of mocking their own purple prose in a sort of self-consciously over-the-top way? Or is that just their writing style? (It's hard to imagine anyone reading this style seriously. Even the subtitle, "elegant and exquisite" is a weird way to talk about software.)

Do you think they're making fun of something?
Oh god, the horror.

Not just the ugly webpages, those were the ubiquitous style at the time. No, FrontPage pioneered deep ugliness, because like all Microsoft products of the 90s it regarded interoperability as a threat. It produces ugly HTML that works best in IE, and it has an optional upload mechanism that requires IIS on the server side.

https://www.inmotionhosting.com/support/website/frontpage/th...
Brazil+election:+Jailed+ex-leader+Lula+pulls+out
There was almost nothing you can consider modern science or technology in Ancient Rome.

No matter how powerful Ancient Rome was, it wasn't even comparable to some third world country today.
Is it possible to re-use parts of documentation across different pages?
Hey. Don’t knock it. I had to use that
> I’ve come to think that people should just start with Postgres and only pick something else if Postgres doesn’t work out

Even that standard results in people giving up on PG too early. It's possible to get it to continue working out, but it can require effort beyond a naive implementation and often more hardware knowledge than is common any more.

The other options can make naive implementations much easier, at least initially, and on almost any hardware. Of course, that usually ends up costing far more, even at modest scale.
My guess would be the "sir" is what triggers. It reads very weird, has a bad link to the stereotypes who would use the word today, and the assuming of gender.
Back then, we thought those were bloated web pages. Litte did we know.
I join irc://irc.freenode.org/#hn ;-)
Do either of you have an actual source?
I have no rust experience but this looks like this would crash in C++ or C at runtime. You're taking a reference to a string that will be deleted in the next iteration or when the loop completes. You have to make a copy of the strings if you want to keep the code as is.
I live in the UK, manual cars have had adaptive cruise control here for some time.
MEP for the Pirate Party Germany’s speech about tomorrow’s copyright
In most countries where it exists "social housing" is a synonym of "depressive, unsafe space, continuously destroyed by its inhabitants". Probably, this approach solves some problems, but creates new ones at the same time.
How To Build The Best Cold Calling Scripts - free script templates inside
Isn't that just going to plummet the demand for strawberries, thus completely wiping out those jobs?
Why You Should Use WordPress? – WEB DESIGN SEO PARAMARKETING.ORG
Not at all. In nature, the strongest lion has all the mates, while the second strongest has none.
Many writers still get paid by the word or they get an assignment that requires X number of words.

Some of the worst offenders are magazine writers. I've read articles that go on and on and yet say nothing.
It's most likely from the Grand Depression, when farmers were literally throwing away food because of over production. Subsidies smooth out production cycles and keep farmers in business.
Could you elaborate why would that affect the battery as a whole?

And why the batteries have to discharge at the same rate in the first place?
I worked at a startup making a handheld ultrasound machine back over a decade ago. Even back then we could easily power the transducer using a mobile phone capacity battery, you just need to step up the voltage to around 100v so you could feed it through the transducer and you'd get a signal back.

Last I heard the place is still going although most of the people I worked with have left already.

EDIT: Back then we were eyeing up using MEMS technology instead, though I don't think anything happened with that.
Consumer protection laws merely ensure that you have recourse.

They can't shield you from the disappointment of having been duped with a counterfeit, or the hassle of the resolution process itself.
Almost all things you'd want to prove about a program are undecidable in the general case. That doesn't mean much about the particular case of your program.
Vaporwave...
It’s interesting that they’re calling this “The Process”. In general, I tend to associate that word with approaches that try to make decision-making more organisational (which tends to mean metrics above all). In this case, it does seem more a case of hire someone strong and give them substantial authority.
For a minute, I thought I was on Reddit.
You make a good point about the ego thing. We had several enquiries from customers who would prefer custom development rather than make small changes to their business processes so as to be able to use off the shelf products.
Nothing, unless you force a dog which hunted its bone to share it with one who slept the whole day, and call it "equality".
Exactly. There are almost no American-style "single-family homes" in South Korean cities, except in very wealthy or very poor neighborhoods.

There needs to be a certain amount of communal spirit in your culture in order to make this work, though. People have to be comfortable with spending most of their time in common spaces such as parks, pubs, and Starbucks instead of hanging out in their own backyard. They also need to be willing to spend money (both publicly and privately) to keep those common spaces in good order.

This might become a non-issue even in America, though, as more and more people just sit in bed and stare at their phones instead of going out.
One still needs expensive FPGA or DSP for beamforming in decent ultrasound machine. Nothing for 100$. Maybe some single channel sensor, but I also doubt that after FDA approval price will stay in 100$ range. Plus I am worried about long time stability of polymers. Moisture or UV or mechanical load can alter polymer’s structure.
To an extent, this is kind of the idea behind sandstorm.io. Run the services you want on a box under your control (or a vps, but still yours).

Given that there are finally good non-google options for a lot of these (OSM + Thunderforest + Graphhopper gives a really nice map experience for instance) I'd love to see it go further. As always, it's hard to find time to work on this though.
I've been steadily moving everything back home ever since Snowden revealed just how much snooping is going on, and with the last few years worth of scandals, it seems i've made the right choice.

Initially i went the Raspberry Pi route, and in a few months i had 4 or 5 of them running, which was where it started turning into a chore. While i enjoy tinkering, i don't particularly enjoy keeping a host of machine up to date.

Fast forward a couple of years, and my home setup now looks like this :

- UBNT EdgeRouter for that sweet affordable hardware L2TP/IPSec VPN.

- Intel NUC6, Running everything internet facing in FreeBSD Jails.

- Intel NUC7, Running everything internally available through Docker, along with Time Machine backups.

- Synology DS716+, Holds all data from both NUC machines, as well as personal files (documents/photos/music/movies)

Resilio Sync is running on the external NUC to provide an "always on" node.

I have a couple of ODroid HC1 boxes that holds my backups, one at home and one at a remote location.

The only thing i have yet to migrate is mail, which is still located at GSuite.
I've moved several times, but every time i decide it's not worth the effort. Since "everybody" uses GMail every mail i send will eventually get indexed as well, regardless of where i store my own mail.
I use GSuite for hosting 5 domains, and i've yet to find an alternative that doesn't require either lots of money or lots of administration from me.
It is about as cool and thorough as the test suite that is used for the software in the airplanes you use.
Intel uses TLA+ extensively for formal verification of its subsystems, in a kind of piecemeal approach.

Famously, a Microsoft intern modeled the XBox's cache coherence protocol and caught a bug there before they went to prod.

Certainly bit flips can happen, but you can still prove that circuits obey your invariants!

(Note: TLA+ doesn't always fully prove correctness. Z3 is a more sophisticated approach but harder to apply to temporal logic)
This is offtopic but I just have a small suggestion for Hue - When I checked it out, it required me to login/register right away. It would be nice if you could provide a demo version where one can check out the service without having to register first.
The problem in the USA is lack of morality.

The lack of morality to vote for decent politicians. Why do US citizens claim to want medicare for all but vote for Democrats or Republicans who do not want medicare for all ?

https://www.youtube.com/watch?v=dX5GSClA8z4&t=207

The lack of morality that private property should be spent to help other persons in need.

The lack of morality that allows an insane military budget and immoral lies and crimes and murder in other countries by political and military and economic warfare.

https://chomsky.info/1990____-2/

https://www.globalresearch.ca/america-has-been-at-war-93-of-...
In the limit of infinite passing tests, do we recover the byte we sought? Or does it asymptote to some other quantity? I'm asking relative to a maximum entropy prior.
It took me until he started showing the themes to realize it was a joke, but after that it becomes a bit more evident.
there was also this thing between webmasters, called banner exchange. that's how you got new traffic to your website.
i remember when i did my first gaming review site up in high school i was trying to get my banner to as many other sites as i could and they would get the place on my site. i remember tweaking my banner in macromedia flash :)
My wife did a full fetal ultrasound on a latest Samsung machine (they're awesome, btw), with consultation - total cost around 100 euros. Fully private w/o insurance. We could've gone via insurance, and then it would've been absolutely free (well, included with work insurance) but machine used with them doesn't offer as high resolution or have as many capabilities (volumetric reconstruction and other imaging wonders).

This is in Croatia, so what gives? Pay scale for doctors are around 4x as much at Stanford Hospital, and machines cost about the same, Croatia also has a higher tax, but bay area has higher costs. ~60x higher costs? I don't think so, nor do I remember it so. I don't remember Palo Alto having any better basic medical services than here in Croatia either. Was that the price for ultrasound alone? Sounds outrageous.
State of the World's Fungi
Are they really disconnected from rents in that area, as well as reasonable expectations of future growth in demand - given low interest rates, which mean you have to consider the performance of the asset far into the future?

In other words, if these assets were any cheaper, would they not be underpriced vs their intrinsic value, making it a great investment with someone with enough capital - thus bidding the prices back up?
"The first and third swap cause and effect;"

Sorry, I wrote that in a hurry. I wasn't claiming either was a cause or effect. It was more of finding characteristics that we can use to identify one from another. I.e. following the argumentation "If it quacks like a duck and walks likes a duck it's likely a duck, and if it doesn't, we don't really have much evidence of the duckish quality of the observed thing".

So, I was not aiming to claim that licensure would turn software engineering into actual engineering. Rather, that the requirements of the field are so poorly understood in the general context that there would be very little to agree on the specific requirements. Poorly understood -> not engineering, really.

I totally agree with what you wrote above.

On the third point: I'm not claiming 100% truthiness to my argument, but it's pretty close. Software engineering projects are still among the riskiest ventures where you can think of investing capital in. If you want to build a road:

1. The language of the requirements are pretty well understood, from point A to B, this many lanes
2. Unless some unforeseen calamity arises, and you have the capital to pump to the project, eventually you will get the road

I think we can agree that these define any engineering project. Of course, engineeering is not cut and dried either - that's why you need to have actually trained professionals who can react to the events that come along as the project progresses.

I don't think 1. or 2. can hold for a software project in the general sense. Furthermore, you can end up accidentally, without anyones fault, wasting an arbitrary amount of capital on a feature that could, in the worst case, be replaced by a few lines of Python.

This poor quality of our general understanding of software development and lack of common language to describe anything means that most of the time software develoment is closer to R&D than engineering.

Generally, you can get better estimates when you are implementing a similar project the nth time. Like some general website, or a server backend. And in these instances you have the language to describe features and requirements. But in the general sense, software development isn't anything like this.
Show HN: Best Open Source Web Crawlers for Data Mining
In the UK you don't need a medical reason, you can simply choose to take an automatic test. But then of course you can only drive automatic cars, just like in the Netherlands.

Ironically I believe an American who has never driven a manual would be able to come here and rent one, because (please correct me if I'm wrong) their licences don't distinguish between the two.

I think manuals are slowly on the way out here as well, although they'll persist for a long time on cheaper cars, and a few sportier cars.

A friend's new (automatic) Audi has both faster 0-60 and higher MPG (and lower CO2 output) than the manual equivalent, so manual gearboxes are becoming more difficult to justify, even for petrolheads.
The US is not a developing country, it's the most wealthy country in the world. This comparison does not seem useful.
I understand the US has very low social mobility, which would imply that if it is a meritocracy, it's a very bad one.

As an aside, when the word "meritocracy" was coined, it wasn't considered a good thing. It was a bad thing.
It's embarrassing to say but in my company, I'm still "the webmaster". And by reading your question I conclude that it's because no one has any idea about what I'm doing.
>you just cannot escape poverty by just working harder.

This is a traditional, stereotypical belief that in order to escape poverty you have to work harder. This is old understanding of meritocracy and it's no longer valid. The new meritocracy is that you have to learn harder. And now, given all the learning resources available for free on the internet (which is also very accessible nowadays) it's probably the best time ever to self-educate.

Once in a while I walk past a person selling pens/begging for money in my neighborhood. I always wonder how much he could've learnt and improved his life if he spent his time on learning instead of sitting on a bench and begging for money. I have sympathy for people that are poor due to unbearable circumstances such as mental illness or disability. But I honestly don't understand why an otherwise capable person won't make an effort to self-educate in order to break out of poverty.
We develop drugs and medical practices to artificially extend our lives. We build gigantic civilizations and trade goods around the globe. We take the coffee beans from a farmer in a poor nation undergoing drought, pay that farmer between $0.07-$0.50 per kilo of coffee, and then sell that kilo in a coffee shop (after roasting and brewing) for about $70.

We aren't natural. We don't need natural evolutionary states. We need unnatural, human-oriented, ethical states.
Yeah, that's what I was also curious about: to what extent can you use the data you collect from yourself to get some genuinely useful outcome? How do I get a better news feed, search results, restaurant recommendations, etc. using the data on my personal platform?

Because there are 2 sides of this issue: not giving up your data and using it productively.
How to Implement Polymorphic Data Binding in .NET Core WebApi
Please change the title, it's not correct. At all. (It might be true but it's nothing like what the survey reports.)

The headline on the webpage is "Sexual harassment at work is on the rise in Australia, the Human Rights Commission says".

The figure sounded crazy so I looked at the survey report.[0]

It says 81% of people in workplaces categorized as "Information, Media, Telecommunications" have experienced workplace sexual harassment in the last 5 years.

That category includes anyone working in publishing, movies, TV, radio, libraries, etc. The national average is 33% across all workplaces (in previous 5 years), so that could well be the figure for "IT workers". Or it could be anything. I suspect it's much lower, since there are so few women in the field. The report says "One in five Australians were sexually harassed in the workplace in the last 12 months.", 23% of women and 16% of men.

The category "Information Media and Telecommunications" consists of the subcategories:

Publishing (except Internet and Music Publishing)

Motion Picture and Sound Recording Activities

Broadcasting (except Internet)

Internet Publishing and Broadcasting

Telecommunications Services

Internet Service Providers, Web Search Portals and Data Processing Services

Library and Other Information Services

Another category "Professional, Scientific and Technical Services" has the subcategories:

Professional, Scientific and Technical Services (except Computer System Design and Related Services)

Computer System Design and Related Services

[0]https://www.humanrights.gov.au/sites/default/files/document/...
"And finally, we do understand software engineering well enough to teach it properly."

This is news to me. I would very much like a citation, please. Or do you mean applying formal proof verification to everything?
Driving isn't that magic.

Driving is easy. Interacting safely with the other people on the road is what is hard.
My two cents only.

You can search for foo bar on amazon.de, get some search results, one of them is from a seller in China for a product whose name whose name and function resembles foo bar. The photos may look good enough to tempt you but the text doesn't say that it is foo bar.
Is it just the case for me or does that page itself suffer from FOIT?

It's quite visible when refreshing without cache (Ctrl+F5 on FF under Linux/Windows).