Posts by theruran@hackers.town
(DIR) Post #AVhGMF5ST3PVeFlmEa by theruran@hackers.town
2023-05-16T01:04:56Z
0 likes, 1 repeats
Megadeth - Holy Wars...The Punishment Due https://www.youtube.com/watch?v=9d4ui9q7eDM#nowplaying #fediplay
(DIR) Post #AVhaXYAtq22H7Hz59s by theruran@hackers.town
2023-05-16T04:59:07Z
0 likes, 1 repeats
" Skyrim Kill Miraak speedrun in 5:19 IGT"https://www.youtube.com/watch?v=WaXAwx_QO2gthe fuck is going on here??
(DIR) Post #AVn5tJAuUy6wejlGC0 by theruran@hackers.town
2023-05-18T20:42:46Z
1 likes, 0 repeats
@niconiconi His tools have found 1,700+ bugs in the flagship SMT solvers Z3 and CVC5; 500+ are critical soundness bugs. https://wintered.github.io/
(DIR) Post #AVpPVXCBuprRgmAdVo by theruran@hackers.town
2023-05-19T23:31:05Z
0 likes, 0 repeats
@niconiconi wait, who's that?
(DIR) Post #AVuthTvkm5KXHTGyq8 by theruran@hackers.town
2023-05-22T15:01:54Z
0 likes, 0 repeats
@paulasadoorian you gotta flush it with facial recognition
(DIR) Post #AVuwYphQlhVK3J8o8u by theruran@hackers.town
2023-05-22T15:07:02Z
1 likes, 0 repeats
@thatguyoverthere @paulasadoorian ... they're into that shit.
(DIR) Post #AVxhMt6hMEqRJ7gZay by theruran@hackers.town
2023-05-23T23:27:04Z
0 likes, 1 repeats
billions of hours worked and yet no real world use found for working half our waking lives.they have played us for absolute fools!
(DIR) Post #AVxvA3QR58Bmu2gzNg by theruran@hackers.town
2023-05-24T01:32:06Z
0 likes, 0 repeats
@gsuberland *internally screaming*
(DIR) Post #AVz1mCNz0d1Ma34phw by theruran@hackers.town
2023-05-24T14:54:16Z
0 likes, 0 repeats
@xerz where's its wings?!
(DIR) Post #AVz2HyI4wyq08DSw0e by theruran@hackers.town
2023-05-24T15:00:29Z
1 likes, 0 repeats
@w @xerz I just noticed that, now that you mention it. Like the FedEx arrow.
(DIR) Post #AW3hxeexCZLmA803DE by theruran@hackers.town
2023-05-26T21:00:02Z
0 likes, 0 repeats
that irrational urge to rewrite buggy software in #Ada #SPARK :blobgalaxythink:
(DIR) Post #AW3hxfPkOamSVFtQ9I by theruran@hackers.town
2023-05-26T21:06:09Z
0 likes, 1 repeats
"All software has bugs."hmm, what Morpheus quote is a suitable response?“You have to understand, most of these people are not ready to be unplugged. And many of them are so inert, so hopelessly dependent on the system that they will fight to protect it.”
(DIR) Post #AW47CSFG8dC8rE8RdY by theruran@hackers.town
2023-05-27T01:43:40Z
0 likes, 1 repeats
as if Discord wasn't bad enough for software project coordination, now they got you stuck in an impossible CAPTCHA selecting AI-generated objects that don't exist.
(DIR) Post #AW7q22rYjUeweSL8wy by theruran@hackers.town
2023-05-28T20:54:47Z
1 likes, 0 repeats
@MerlinJStar I discovered OpenCourseWare has Applied Category Theory with the lectures on YouTube, taught by Spivak and Fong who wrote their own book for it, which is also available for free. They mentioned that there are very few universities that teach Category Theory so this is pretty amazing!https://ocw.mit.edu/courses/18-s097-applied-category-theory-january-iap-2019/now that I'm done with my curriculum courses I am hoping to pick this up on the side 😆
(DIR) Post #AWtV47cTwCAAHsQU6a by theruran@hackers.town
2023-06-20T20:45:48Z
0 likes, 0 repeats
absurd that people have been requesting a way to turn off Microsoft Teams 'waiting in the lobby' notifications for over 3 years and Microsoft still hasn't done anything about this basic UX issue.and why is everyone given the power to mute everyone in one click, by default? do they imagine that no one will host meetings with more than 10 participants?I don't get it. does anybody have any insights?
(DIR) Post #AXNBzyXYA2aBQNqao4 by theruran@hackers.town
2023-07-05T01:17:29Z
1 likes, 0 repeats
oh?! #ElixirLang is getting a gradual typing system:https://elixir-lang.org/blog/2022/10/05/my-future-with-elixir-set-theoretic-types/https://elixir-lang.org/blog/2023/06/22/type-system-updates-research-dev/https://arxiv.org/abs/2306.06391
(DIR) Post #AXXihKkaCb5gARbIxc by theruran@hackers.town
2023-07-10T01:45:27Z
1 likes, 0 repeats
respect, #AsciiDoc! the standards committee is choosing a Parsing Expression Grammar to formally describe the language:https://gitlab.eclipse.org/eclipse/asciidoc-lang/asciidoc-lang/-/blob/main/spec/sdrs/sdr-004-use-peg-for-formal-grammar.adoc
(DIR) Post #AXbkbceSlDxKnQj0IC by theruran@hackers.town
2023-07-12T03:38:00Z
0 likes, 1 repeats
hey so if I can reject Googlebot in robots.txt based on user-agent, then what about OpenAI scrapers? Bing/Microsoft?
(DIR) Post #AXbkbdZBMLKHdLGIhU by theruran@hackers.town
2023-07-12T03:40:26Z
1 likes, 0 repeats
ah, yes:User-agent: ChatGPT-UserDisallow: /If you want to block it at the IP address level, you need to block the following IP address: 23.98.142.176/28https://webmasters.stackexchange.com/questions/142359/is-it-possible-to-exclude-just-openai-chatgpt-from-scraping-my-website
(DIR) Post #AXbkbePIEb0gExduvQ by theruran@hackers.town
2023-07-12T03:41:39Z
0 likes, 0 repeats
oh, hmm:Thanks for the pointer! that doesn't seem to be their scraper bot though (quote from the link: "not used for crawling the web"). I was also curious if Common Crawl CCBot, Bingbot or any other bots are helping them as well. – Ivan Balepin, May 17 at 1:48Common Crawl CCBot is another culprit to be banned from my website.