skysight-inc/HackerNews huggingface dataset:
Great! C3 is always something to look forward to between Christmas and the new year.
Ferrocene Safety-Critical Rust Compiler Code Published
Even the home page is generating a server error.

As usual though, the status page is green across the board. https://status.slack.com/
Thanks for the reply. Agreed on the templating side of things - it certainly makes building sophisticated UXs harder.

Great point around project structure and ability to move between codebases - I think the lack of enforced structure in Django absolutely helps increase codebase entropy over time.
Indeed, the good point is not relying on any store to bring able to "install" or use right away, so Android and iPhone users aren't blocked from sharing the same experience.
Introduction to Mojo Programming Language: New Era of AI Programming
I hope it actually happens this year. 2022 where it was "definitely going to happen" and then cancelled was kind of sad.
I like this a lot, though I'd rather see it in Rust.

The tarpit paper is a classic.

I've had similar thoughts about roguelikes etc. after watching my teenage son play DwarfFortress. Seems to me such a game could be written nicely & declaratively in these kinds of terms.
Agreed. I’ve had to create dedicated SPAs for several projects recently which is a huge shame. I’d be interested to understand the architectural goals of the Django project moving ahead to see if they’re even interested in solving for this type of problem.
> The 37C3 is guaranteed to take place unless prohibited by the authorities. All official infection control regulations will of course be implemented. The CCC asks all participants to consider their own awareness of the health risks of large events before purchasing a ticket. Participants with cold symptoms are requested not to attend the event.

This will keep quite a few people e.g. with existing health conditions or long covid from attending. There are still open conferences that keep Public Health Pledge [0] or similar into account for inclusion and to avoid being mass spreading events.

[0] https://publichealthpledge.com/
Slack Is Down
Anyone else have trouble accessing Slack?
Status page of course shows everything in green.
My last hotel booking had offshored their entire customer support system to a 90s style chatbot. Walk the state machine in circles kind of thing.

Booking had a real person pick up the phone, know stuff, and fix it. Not a native English speaker but still far more helpful than the software alternative.
Slack itself works. But the web version is down for me.
iq 30 take
I used to make planner templates and similar things of that sort for myself in high school. It wasn't anything special but I enjoyed making them.

I had this guy contact me on Reddit about whether I could customize a daily planner for his kids and gave me a general idea of what he wanted. I delivered the design and he loved it, and commissioned three more.

I charged him $2 USD per planner (didn't know how to price it + it took me an hour tops, but he insisted on paying more which was nice). Ended up earning $15/planner.
Seems to be running fine for me (accessing from London)
They need to differentiate, but given Samsung's clearly lackluster track record at OSes, it's obvious they're very bad at software and they know it.

Plus their Android flavor (One UI) is extremely underperforming, even when compared to the Chinese OEMs. If we compared it against the cleanliness of Pixel software, you'd inmediately see Google is simply much, much better than Samsung at software even with the same foundations.
Seems fine via the client. Down via browser though.
https://slack.com/ is down too. Someone is having a terrible day...
That sounds cool but I'm not sure how realistic that would be for most people, esp. international. There are about 2-3 hotel chains I can think about here in Europe where I have had more than one stay, i.e. where I used the same chain in a different city.

JFTR, my last stay in Prague I paid 80 EUR for a perfectly fine Hotel room, the cheapest room in the Prague Hilton I can find (being flexible for whole Oct+Nov) is 130EUR, usually more like 140+, close to double.

So I suppose if I had to just take a different room in a different hotel every fifth time (and that never happened to me) I'd still be about equal with the price.
> The space available to us there is barely a fifth of what the CCC occupied in the Congress Center Leipzig.

> ..., there will be slightly fewer participants at this year's Congress than in the times before Corona.

This is unfortunate. Already before Corona, it was very difficult to get a ticket. Basically you had to register within the first second once the portal opened, and you needed a lot of luck to get through even then.
Mojo certainly looks promising. I just hope it will finally be released.
Working from Scotland as well.
Client for me is down. Even their homepage.

When I visit the homepage on a guest browser session though it seems to work fine.
Seems like DNS related issue? My client's not working but my colleagues are fine.
Yet their status page says that everything is fine... This says enough about how these status pages are unusable these days.
Some people in our company are still able to have huddles and send messages while some cant. Maybe partial outage?
I’ve used slim for years and it’s incredible. Writing erb now feels painful. Slim is clean, terse, and correct.

The only downside is I am now spoiled.
I one needed to run a photoshop script to remove automatically the background from thousands of products image. The script was relatively simple, but my laptop at the time kept overheating so i put it outside.. let me tell you that montreal winter is cooler than a fridge!
WTF I can't believe they put linux in there. Must be much fancier than a MCU-driven display.
I got the refreshed UI a few days back, so I'd be surprised if it was related.
Ok?
Think of the children?
I swear to god these outrage articles about ai are getting ridiculous.
Client down for me. Can't send messages. Same for my colleague in another country.
> Kernel Use like NFS and SMB over QUIC

By the way, are there any living examples of using WebDAW over HTTP/3? I would prefer both client and server parts of my network shares to work in the userspace minimizing involvement of the OS but HTTP3/QUIC sounds great to replace previous versions of HTTP in this use case. I've done some googling but could only find that Windows was going to do SMB over QUIC to replace WebDAV.
doesn't work from sweden
They‘re probably in their Salesforce training already, should be up again in a week ;)
Mac laptops are also superior in every way (excluding gaming).
Start from the axiom that computers don't make mistakes. Then change to a new computer system at lower cost, because it's cheaper and computers don't make mistakes. So cheaper is better. Don't need a roll back plan, all computer systems work fine.

Then put on your best surprised expression and wait to see if you manage to unwind the errors before a competitor exploits them.

It is fascinating how much faith people have in computers, even after at least a decade of watching them fall over. Sure it crashes a lot but it couldn't get the answer wrong.
The good part of having the Congress in Leipzig was abundance of cheaper hotels. Hamburg is more expensive.
No. He is saying the former.

The latter is not true, but it is the case that black women drop out at disproportionately high rates out of these programmes.
Elon Musk's Premeditated Fascism
There were recursive tickets issued to clubs and friendly organisations (hackerspaces). If you're a member of one, getting a ticket is relatively easy.
> I frankly can't really comprehend what does the mass of an entire mountain condensed into a single pebble mean.

Maybe turn it around. On a cosmic level, that mountain is nothing but a fluff of cottonwool, the earth a hot air balloon.
I can access it successfully via Google Chrome. The native client and Firefox are broken.

For a colleague it works all the way.

Sounds like a DNS issue.
I bought an OKI colour laser printer. More an enterprise model and definitely overscaled for my use but the market of colour laser printers is rather narrow and Oki seemed the best value/price ratio. Quality is good and the thing can print also some absurd sizes and formags.

I'm also reasonably happy on quality, results, speed. Annoying is just that this model (MC532) is too rare to be in common printer libraries (notably for Linux), so for each setup I have to first visit the manufacturer site and download the drivers, and even then it's not smooth. Nonetheless got this to work for win 11, Manjaro, Ubuntu and chromebooks.
All that stuff is probably hardcoded. The traditional way of building a status page.
All this stuff is constantly moving, but I bet things in the future will be RT Linux plus some RTOS-drive microcontrollers for specific hardware and safety stuff. That's where everyone is heading to.
A very enjoyable read! If I wanted to be super nerdy about time and have the most precise time source possible, at home, what are my options?
I really hope they incur some sort of data corruption that deletes the new UI code base while it’s down.
Will be interesting to see how long it takes them to update the status page. I will use this comment as a timestamp.
Thanks! Your comment encouraged me open GitHub Documentation on Documentation (https://docs.github.com/en/get-started/writing-on-github/get...) and in BASIC section there are way more than I imagined.
Plain Text Cryptocurrency Prices
App also has problems.
But web version is completely down.
> To take it a notch further, it's the video editing simplicity that really blew TikTok up.

Yup, definitely. Effective mobile editing was a big driver of it's success.

That being said, while it's definitely more effective and popular on mobile how much of that is just down to more people using the internet on mobile relative to desktop.

This is unlike Maps or Uber which only make sense with mobile and always available location.
> When nearly 40% indicate explicit or implicit experience in being discouraged from hiring from a specific demographic group

I'm not saying this is misleading, but a peek into the actual volume would have been helpful. A recruiter who handles 100 jobs and 5 of them have that hiring policy attached to them, then the policy applies to 5% of the jobs, but to 100% of the recruiters.
I find this so infuriating that the standard flow is:
1. Notice issue;
2. Check provider status page which says all fine:
3. Have to go to HN to find the info that should’ve been on their status page.
For me client was completely dead, works now
"With this hat, keyboard style isn't just ahead, it's a head".
GPT seems to know about jokes that are so awfully bad that they are funny.
> Samsung is not a very smart company

Have you used a recent Samsung device, especially foldables? Google, the OS provider is playing a total catch-up there, for example, and the implementation is pretty good and all first-party from Samsung. They have their own implementation of iCloud/Continuity features across their tablets/phones and their Windows laptops that works decently (not Apple level, but Apple has been sucking lately too).

I used to believe they suck at software and can never catch up. You'd be surprised how much they have improved in first party ecosystem building. In many ways they would be superior to Google's first party experience, if they pulled back on bloating the device with a bunch of useless Samsung apps and kept it to a non-zero minimum. The window management, search, etc experience on the recent 2022/3 devices were all ahead of Google. Hardware wise they are a pioneer.

And it's not like Google, the smart company, is great at shipping new OSes either. Look at that Fucshia vapor crap. It's a hard problem to build an OS and a successful ecosystem around it; galaxies need to align, and is not easily attributable to just lack of smartness.
So clients are responsible for monitoring for leaks [1] and revoking affected keys themselves. What a disastrous architecture: centralized trust in potentially (provably... [1, 2]) negligent IdPs, yet substantial, distributed burden on each client to "do the right thing". That's going to go wrong.

Also, abusing OIDC: if this takes off, the hack will be ossified as effectively part of the standard, blocking its further development and adjustment, as to not break OpenPubKey.

1: https://www.wiz.io/blog/storm-0558-compromised-microsoft-key...

2: https://infosec.exchange/@briankrebs/110820474957163710
Meanwhile my raspberry pi has a sign saying "4 slack outages since last reboot"
The craziest thing with Elixir is that you can do things all by yourself in the same time that would normally take a big team and consequent infrastructure to do.
I've worked with them both, although Rails has been a while. Some things that stand out to me:

Rails has pretty good code generation. If I want just want to get started and add a birthday field to the settings page, I can run a short one sentence command and it will go off: it will know how to do schema migration, routing, views, controller, etc. This is possible because everything is so straightfoward and consistent. I'm not saying generators are a good way to write your code, its just one example of how rails has very a high level of abstractions.

Django however has the admin. Once you have a model, it will generate a fully functional cms for it and its very tweakable. For a lot of businesses, the admin is quite servicable as a cms or administation tool, and it is a _huge_ timesaver.

I generally prefer django over rails, it just seems all much more explicit and easier to discover to me, however I do agree you can be a lot faster with rails once you learn how things fit together.
I'd love to live in a world where interesting events like CCC have somehow more space (ie. more participants) every year, not less. I've only been once to CCC but I know that the quest to get a ticket is filled with stress and disappointment every year.
Back up for the moment: US, east coast.
HackerNews is the status page for everything. I only came here now to check if Slack is down.
I remember back when Macbooks had issues with their temperature sensor. They would die due to the sensor cable being too short and everything expanding when the laptop got hot. Apple later resolved this with a firmware update.

Anyway, I got asked if I could fix a Macbook that was turning itself off. Sure, that's probably just performing the firmware update. But when I got the Macbook, it turned off just moments after starting OSX.

I put it in the freezer for 20 minutes and tried booting it again, yup, this time it took longer before it would turn itself off. I put it back in the freezer for a few hours. Booted it, started the firmware update, praying that it wouldn't turn itself off. Everything went successful and after that the laptop worked perfectly!
How is it different than if you give your address as

1234 York Street or 1234 Miller Street

and they will not assume you live in York or work for the brewery making Miller Lite...

It's been 40 years, people could have wisened up how email addresses work.
Your original proof is correct. Yes the number may not actually be prime, but given the assumption that you have finitely many primes it follows that the number you have constructed is prime, since it has no divisors.

2 x 3 x … x 13 + 1 isn't prime but that's because that's just a subset of the primes, not all of them. And the argument relies on using all of them.
those things are not particularly similar. the tree that nobody can hear while it's falling still has a real and measurable impact on its environment in various ways, something where if if not simulated while nobody was around, the simulation would need to catch up on if an observer ever came near. this eventually amounts to processing work that is equal or even worse compared to just simulating it in full detail in the first place.
AWS thought us that one cannot trust status pages
Hardware acceleration in robotics news. 15 largest industrial robotics markets in 2022, Nvidia offices raided by French authorities in anti-trust investigation, North America industrial robot orders drop for second quarter, AMD's latest FPGA promises lower latency stock trading bots
A couple of Rails versions ago, I had to deal with webpack and that surely felt like an enemy trying to fight me at every step.

Luckily, I no longer need a PhD in webpack or node packages in order to run rails s successfully.
Jay has his own jet bike, https://www.youtube.com/watch?v=WDhoYXw2IPc
The description still does not really fit what I have in mind.

And backstage intimate is horrible term too. My friends are not intimate nor backstage. Intimate is something else entirely, it does not fit the relationship at all. I talk more openly with them, but I am not intimate in emotional sense with them at all.

The backstage part have similar issues. In what sense are they backstage?
Oh, that's good to know. Shield battery is a great project. Thanks for your work.
Because they can't differentiate between "stavros@yourbusiness.com" and "yourbusiness@stavros.com".
Low hanging fruit: HN-based LLM-powered status page for *
People would really like to be using more energy though, they just aren't able due to scarcity.
nah it's perfect for a lot of people who struggle to keep up with chats, just go to activity and you can find the chat you were just in instead of having to scroll through tons of channels
Slack Is Up Again
Yes, I'm grateful for this being built so I can locate and identify all the copies of Linux I could download and install...
I can relate being allergic to day job: I have one and hate the lack of freedom that come with it (in addition to it not being interesting). Doing it has a few expected advantages such as a regular paycheck and healthcare. One unexpected advantage however is how it motivates me to work on my side project so I can change life eventually.

On a motivated day I can work as much a full day of work (7h), most of the time I'm spending a couple of hours on it. Everyday (mostly). I find it easier to be consistent by having a day job that firces me to wake up in the morning than when I have a full empty schedule.
Started working again for me (Norway)
Awesome awesome concept
The UAW striking, and politicians showing support for unions is nothing new and doesn't suggest the USA is suddenly careening towards communism. You're either incredibly naive or have consumed some hysterical far-right news if you believe this.
This is easily proved wrong

China is in position 154 https://www.heritage.org/index/ranking

"Oh but China, oh but Europe, oh blah blah blah" try actually establishing a company on the lower bottoms of the rank
oohalo (oohalo.com) | Business Development/Sales Co-Founder | Freelance | REMOTE | Equity/Revenue Sharing

oohalo translates to "dreams". We build your apps in Flat 8 weeks. You dream and we build your idea in front of you. The faster you launch your idea, the quicker you can iterate. Our focus is on mobile/web apps and AI/ML.

We are looking for a business development/sales partner who could build our initial clientele in the US/EMEA. This is an exciting time to join given the nascent stage at which we are. You can define and lead the business development.

If interested, please reach out to hello@oohalo.com
yep ok for australia
> ‘Global Warming = Greenhouse Gases + Land Degradation affects Water Cycle’ .

‘Global Warming = Greenhouse Gases + Land Degradation affects Water Cycle + τ’, where τ is all the rest.
Nah, it’s terrible for a lot of people who struggle with all the workspaces and needless amount of clicks to get anything done.
If you really think about the simulation hypothesis a bit, you will realize that it is a stupid idea.
I recognize this. Strongest case in point, when I was still in uni we had a course called "Multimedia Authoring" (whatever that meant). The teacher was amazingly flexible and said something along the lines of "learn whatever you want to learn as long as you create a project out of it."

I happened to be a student representative of computer science at the time for high schoolers and their parents. One parent ask "can you make iPhone apps?" I told them "no but I can learn it." He offered me to pay a - at that time - pretty nice amount of money.

That was my highest grade for a course ever. I loved the learning process as well!
Microsoft:

"We have large teams working on the development of tools,
techniques and safety systems that are aligned with our
responsible AI principles. As with any new technology, some are
trying to use it in ways that was not intended, which is why we
are implementing a range of guardrails and filters to make Bing
Image Creator a positive and helpful experience for users."

This is a fundamental and tragic misunderstanding of functional
phenomenology [0], tools [1], and affordances [2].

You simply do not get to "intend" use.

[0] https://heideggerm1.blogspot.com/2011/02/understanding-of-he...

[1] https://www.interaction-design.org/literature/book/the-encyc...

[2] https://en.wikipedia.org/wiki/Affordance
A California hedge fund bulldozed state labor laws, imposed harshest noncompetes
Productivity skyrockets
I like the new UI. It works for me.
It was updated just now with a message saying "Users are having trouble connecting to Slack". So about 15 minutes since the comment above. However, I think the first reports started a bit earlier, so maybe 30 minutes is a better estimate.
LLMs can write summaries of articles.
https://news.ycombinator.com/item?id=37776217
working from France and UK
It seems totally fine to me (London), maybe it's just down on the browser?
State of Crypto Fundraising – Q3 2023 (Messari)
Status page: Everything's fine. Morgan Freeman: Everything was, in fact, not fine.
I would be worried about the implications in terms of security and privacy. Back in the days, other P2P networks allowed to share arbitrary files and it was common for clueless users to just share their entire computer.
i think most people are only in 1 slack
I can fix the pain when it comes. Brew is already slow, I don't need it to become slower still.
Status page is updated with ongoing incident: https://status.slack.com/2023-10/ad8f0e62516e8812
We need more research into content moderation.
I really really wish CCC would happen anytime else than between christmas and new years.
See pretty much everything Amazon. AWS, Kindle, you name it. Successful, yes. Technically good, oh no.
There is a spelling typo on the front page:

"The system-constructor, in its basic version, is an analogue of the >>>>Stantard<<<< version"
I find it sad that this kind of actual research doesn't get more attention, as opposed to useless (costly) artistic performances like trying to send primates to Mars.
Wow. I wish. I think at my work we average around 5 or 6. Now it’s so hard to switch between them quickly, see what notifications there are and change your status.
Is Python Ray the Fast Lane to Distributed Computing?