Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-4041-

Tablecat hacked

Name: Anonymous 2014-11-29 1:18

So someone hacked Tablecat's lounge and deleted all the threads.

Maybe someone should ignore language purity and write a better one. Not me though, I do nothing less than purely functional Lisp.

Name: Anonymous 2014-11-29 1:19

http://progrider.org/lounge/read/1417208647
What's Perl got to do with language purity anyway?

Name: VIPPER 2014-11-29 1:20

Dear /frog/rider admin-sama, please consider using this software instead:
http://wakaba.c3.cx/s/web/wakaba_kareha
I think SAoVQ uses 2ch-mode Kareha. It's pretty good.

Name: Anonymous 2014-11-29 1:26

>>3
http://progrider.org/lounge/read/1417208647/4
Please consider Tablecat and Futuristipastica's feelings.

I don't think we'll use something other than Tablecat's BBS though. Admin-kun-sama already spent a lot time fixing bugs and wasting that effort doesn't seem like a good idea.

Name: Anonymous 2014-11-29 1:50

I'll look into perl 6 this weekend, maybe something can be done.

>>3
Kahera is even more of a piece of garbage than Tablecat could ever hope to be. It's only slightly better than Shiichan. Also, flat files (gross).

>>4
Admin-kun-sama already spent a lot time fixing bugs and wasting that effort doesn't seem like a good idea.
Haha, what? All we do is waste time.

Name: Anonymous 2014-11-29 3:52

HAX MY ANUS

Name: Anonymous 2014-11-29 7:24

Maybe someone should ignore language purity and write a better one.
I can see it already: This week on HackerNews: new BBS crafted with go, rust and node.js. +1488 [reply] [report] [upboat]

Name: Anonymous 2014-11-29 7:49

>>7
Nonono, Hacker News goes like this:
[upboat] “12 Unbelievable Reasons To Use A Clickbiat Title” [flog] [circlejerk]

Go *and* Rust? No, it is Go vs. Rust vs. Python.

Nodejs? Please. You have to mention a specific client-side framework, like AngleStrap.

Seriously dog, I wonder if you even read Hacker News.

Name: Anonymous 2014-11-29 7:51

>>4
Admin-kun-sama already spent a lot time fixing bugs and wasting that effort doesn't seem like a good idea.
Please give me the number for your dialup BBS, sunken-cost-fallacy-kun!

Name: Anonymous 2014-11-29 8:30

>>7,8
I'll rewrite it in Elixir and you'll all cry.

Name: Anonymous 2014-11-29 8:36

>>10
I would be okay with that.

Name: Anonymous 2014-11-29 10:56

Someone posted this the other day.
http://str8c.me/code/nbbs/
It's a BBS in C.

Name: Anonymous 2014-11-29 11:00

For it to be secure you need Agda, Coq or Idris.

Name: Anonymous 2014-11-29 11:45

>>13
Agda
Shalom!
http://stackoverflow.com/questions/9692445/agda-as-a-programming-language
I get an executable program named "hello" with size 19.1M.
Now, that's what I call progress.
How about ada instead?

Name: Anonymous 2014-11-29 11:54

>>14
Try picking a language from this chart and we can talk about it: https://en.wikipedia.org/wiki/Dependent_type#Comparison_of_languages_with_dependent_types

Not featured: Ada.

Name: Anonymous 2014-11-29 11:57

>>15
Stupid Jewpedia. Where's Epigram in there?

Name: Anonymous 2014-11-29 11:58

>>15
You don't need dependent typing to have formal verification.

Name: Anonymous 2014-11-29 12:03

>>17
Let me guess, it can all be done with Lisp macros, right?

Name: Anonymous 2014-11-29 12:05

>>18
Maybe it can, I don't know.

Name: Anonymous 2014-11-29 15:11

cream my anus

Name: Anonymous 2014-11-29 16:24

>>17
And you don't need formal verification to write correct code, but it misses the point.

Name: Anonymous 2014-11-29 16:28

>>19
So you're not sure if dependent typing is necessary for formal verification. OK.

Name: Anonymous 2014-11-29 19:37

>>22
Machine readable proofs don't necessarily need to take the form of dependent types.

Name: Anonymous 2014-11-29 20:48

>>22
No, I am just not sure if formal verification can be done via lisp macros. You should stop summoning random meanings out of your ass, cocknigger.

Name: Anonymous 2014-11-30 8:01

>>24
I said "let me guess", nigger. And you didn't tell me I guessed incorrectly. That means I guessed correctly and you're not sure. Because otherwise you would've already given examples of formal verification without dependent types. But you didn't, because you're a stupid nigger. Your place is in Ferguson, burning down cars and robbing stores for no reason.

Name: Anonymous 2014-11-30 8:05

>>25
Let me guess, you have an unfilled prescription for antipsychotic medication.

Let me guess, you're not sure.

Name: Anonymous 2014-11-30 8:07

>>26
No, I don't.

Name: Anonymous 2014-11-30 13:05

>>25
I said "let me guess", nigger
You did not say ""let me guess"" in >>22.

And you didn't tell me I guessed incorrectly
Yes, I can't say that you guessed incorrectly because I can't know.

That means I guessed correctly and you're not sure
No, this only means that I am not sure.

Because otherwise you would've already given examples of formal verification without dependent types
Formal verification without dependent types is a different topic, you changed the topic at >>18.

But you didn't, because you're a stupid nigger
I was not asked to.

To end this post, I never said that I have no idea "if dependent typing is necessary for formal verification".
You seem like a retard.

Name: Anonymous 2014-11-30 13:13

>>28
I didn't change the topic, I stayed on it and you couldn't say anything definite.

because I can't know.
this only means that I am not sure.

You seemed to know and to be sure back in >>17. What happened? You forgot? You suffer memory lapses or something?

Name: Anonymous 2014-11-30 13:30

>>29
I didn't change the topic
You did, see >>18. This is the only thing I am unsure of.

You seemed to know and to be sure back in >>17
I am still sure about that.

Name: Admin 2014-11-30 14:00

What's the exploit?

If someone knows, come on IRC and let me know. I'll fix it.

I have a cron job that backs up threads fairly often, even if the board shits itself we'll only lose like a few minutes worth of activity.

Name: Anonymous 2014-11-30 14:06

>>31
http://tablecat.ipyo.heliohost.org/read.cgi/perl/1417285106
http://tablecat.ipyo.heliohost.org/read.cgi/lounge/1417280525

Name: Anonymous 2014-11-30 16:54

>>31
Why don't you use superior BBS in straight C?
http://str8c.me/code/nbbs/

Name: Anonymous 2014-11-30 16:58

>>33
That would be awesoSegmentation fault

Name: Anonymous 2014-11-30 17:15

>>33
__attribute__ ((constructor))
That's not straight C.

Name: Anonymous 2014-11-30 17:40

core dump my anus

Name: Anonymous 2014-11-30 22:40

*dumps core on thread

Name: Anonymous 2014-12-01 21:13

GONE AGAIN

Name: Anonymous 2014-12-01 22:09

>>38
Don't scare me like that!

Name: Anonymous 2014-12-01 22:20

>>39
It wouldn't load for me five minutes ago.
Why is life so harsh with Tablecat-kun-sama? He's so kind to us ;-;

Name: Anonymous 2014-12-01 22:29

tablecat lounge wasn't hacked, he just fucked up and deleted one file he had no back up for.

Name: Anonymous 2014-12-02 6:37

>>41
selfhack

Name: Anonymous 2014-12-03 4:26

back up my anus

Name: Anonymous 2014-12-10 23:33

>>43
check`em

Name: Anonymous 2014-12-10 23:53

>>44
https://www.youtube.com/watch?v=UCGahjulv2I
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -