« first day (4375 days earlier)      last day (573 days later) » 

JRL
1:43 AM
@OlleHärstedt as i said, i'd be interested in code that doesn't have to do that.
 
 
6 hours later…
7:15 AM
Can I send session variables from php page to another php page without using html form action method?
o/
 
 
1 hour later…
JRL
8:47 AM
is there anyone looking at what it would take to make GPU bindings for PHP?
mainly for large data set manipulation, tensors, linear algebra, etc
 
user10442481
9:28 AM
Hello all
 
user10442481
Can someone please help me by answering my question?
 
user10442481
1
Q: What does it actually mean by the term 'single-threaded process' specific to PHP and how and why does the request get blocked in this case?

PHPManiacToday I come across the following statement from PHP Manual : The web server runs only one single-threaded process, so PHP applications will stall if a request is blocked. After reading and trying to understand the above statement firstly I didn't understand the actual and exact meaning of the ...

 
9:50 AM
AFAIK, not possible with the two different solution I tried in OCaml

type opened
type closed
type ('inner, 'outer) t

State "t" has two type variables, representing the two doors and their state of opened vs closed. But to add a new variable, like air pressure, would require you to touch every function operating on state "t". So.
That's the phantom type solution, btw :)
But the GADT solution has same problem

type opened
type closed
type (_,_) state =
| Create_state : unit -> (closed, closed) state
| Open_inner : (closed, closed) state -> (opened, closed) state
| Open_outer : (closed, closed) state -> (closed, opened) state
 
JRL
that's what i thought
honestly, if that wasn't the case, then i would have suggested publishing a paper
 
10:07 AM
I mean, it would be possible in a system where you can pattern match on type-level, not only value-level.
Or at least more likely. :)
 
 
2 hours later…
11:49 AM
@JRL you could maybe ask en.reddit.com/user/andrewdalpino . He made and looks after github.com/RubixML
so might know.
 
12:07 PM
morns
 
 
5 hours later…
JRL
4:59 PM
extending the modulo to provide real numbers instead of integers, and take real numbers as the mod, is going absolutely fucking crazy with ext-decimal
it's like it just fucks off and ignores the precision settings at random times
and it is driving me insane
 
JRL
5:15 PM
ah, okay
so the documentation is just lies then
precision does not specify the number of significant digits after the decimal point in ext-decimal
it specifies the number of TOTAL digits, including the integer part
which is a big fucking difference
 
I read php-decimal.io/#precision as exactly that: The total number of significant digits. That also appears to match the definition for precision as given in Wikipedia.
 
JRL
hmmm
really fucking annoying in any case, because now my entire application needs two calculation scales
one if they have decimal installed, and one if they only have BCMath installed
though its behavior is not really the fault of the extension, since it does nothing but wrap mpdec
 
Precision is also the more useful value, it allows you to handle both very large and very small values with the same … precision. If you are dealing with numbers in the billions you usually don't care abouth the 27th digit after the decimal point.
 
JRL
yes, im aware of the advantages. the problem is not that it's mathematically wrong, it's that the two PHP libraries for doing this type of calculation use different metrics
BCMath uses scale, number of digits after the decimal
i can't exactly count on ext-decimal always being available for the library, and don't want to make it a hard dependency
though precision is NOT the better option for things like trig functions
since those are periodic, you can do things like 10^26 mod 2pi and actually expect the scale result instead of the precision result
tan(10^26) == tan(2.340576766248294015682700502131135014)
 
 
4 hours later…
JRL
10:21 PM
0.1 (1 sigfig) + 0.0000000001 (1 sigfig) = 0.1000000001 (10 sigfigs)
another error i've encountered
 
 
1 hour later…
JRL
11:24 PM
wtf, lol
 

« first day (4375 days earlier)      last day (573 days later) »