2026-08-04
[12:28:33.0969] <nicolo-ribaudo>
ptomato is planning to join the editor call next week if possible. It seems like the two main things he'd need us to prioritize to continue work on the temporal PR are https://github.com/tc39/ecma262/pull/3759#discussion_r3686190771 and https://github.com/tc39/ecma262/pull/3193

[13:03:22.0795] <Michael Ficarra>
3193 has 2 editor reviews, it'd be great if we could get a 3rd before the call and just merge it

[13:26:17.0766] <jmdyck>
"just merge it" easier said than done. 9 PRs currently "ready to merge".


2026-08-05
[19:31:42.0296] <Michael Ficarra>
yes, that is also something we should be able to solve soon using GitHub Actions

[19:51:27.0793] <ljharb>
> <@nicolo-ribaudo:matrix.org> ljharb do you think you could publish a `@tc39/ecma404-biblio` package on npm? :) It probably doesn't need the whole GH actions setup

sure. We might as well use GHA tho, even if we don’t want it on every push

[19:52:00.0744] <ljharb>
> <@jmdyck:matrix.org> "just merge it" easier said than done. 9 PRs currently "ready to merge".

I’ll land everything pending in a few hours

[19:52:42.0828] <jmdyck>
yay, then I have the fun of rebasing all my branches.


2026-08-06
[08:01:38.0221] <nicolo-ribaudo>
I'm a few minutes late, my laptop is so out of battery that it's refusing to turn on even if plugged

[08:39:15.0291] <jmdyck>
correction to what I said in editor call: In ecmaspeak, "0xhhhh (SOME NAME)" is typed as a code unit, but otherwise "0xh*" is typed as an integer.

[09:05:57.0302] <nicolo-ribaudo>
ptomato can you write now? :)

[09:06:05.0795] <ptomato>
yes!

[09:06:11.0855] <ptomato>
thanks


2026-08-07
[14:10:33.0447] <Michael Ficarra>
https://conf.researchr.org/details/splash-issta-2026/plss-2026/10/Designing-Language-Specifications-for-Static-Reasoning-Lessons-from-IRIDIUM

[15:17:10.0712] <shu>
unfortunately that abstract doesn't tell me anything concrete other than "desugaring good" which i agree with

[15:42:06.0758] <ptomato>
I did find two places where SnapToInteger could be used in the spec already: https://github.com/tc39/ecma262/pull/3946

[16:25:54.0524] <Michael Ficarra>
I guess you'll have to go to PLSS then

[16:26:06.0793] <Michael Ficarra>
or OOPSLA, they have a paper at OOPSLA

[16:26:12.0907] <Michael Ficarra>
or you can just read their paper I guess


2026-08-08
[18:26:05.0493] <jmdyck>
Has the paper been published yet? I looked for it, didn't find it.

[18:26:10.0168] <jmdyck>
 But I did find this report from PLSS 2025: https://www.jot.fm/issues/issue_2026_01/e5.pdf

[18:34:27.0527] <Michael Ficarra>
no, OOPSLA is in October