MediaWiki API result
This is the HTML representation of the JSON format. HTML is good for debugging, but is unsuitable for application use.
Specify the format parameter to change the output format. To see the non-HTML representation of the JSON format, set format=json.
See the complete documentation, or the API help for more information.
{
"batchcomplete": "",
"continue": {
"lecontinue": "20251118065252|1405",
"continue": "-||"
},
"query": {
"logevents": [
{
"logid": 1415,
"ns": 0,
"title": "W211/M25Shan",
"pageid": 697,
"logpage": 697,
"revid": 2870,
"params": {},
"type": "create",
"action": "create",
"user": "Jacques",
"timestamp": "2025-12-11T13:40:31Z",
"comment": "Created page with \"Yafei Yang and Chung-chieh Shan Developing quantum programs requires not only running them on quantum hardware but also simulating them on classical hardware. Because the semantics of a quantum program can be defined in terms of complex state vectors, it can in principle be simulated using any implementation of probabilistic or weighted programming that supports complex or at least negative weights. In this study, we compile a high-level quantum programming language to...\""
},
{
"logid": 1414,
"ns": 6,
"title": "File:WG211 M25 Shan.pdf",
"pageid": 696,
"logpage": 696,
"revid": 2869,
"params": {},
"type": "create",
"action": "create",
"user": "Jacques",
"timestamp": "2025-12-10T14:29:43Z",
"comment": ""
},
{
"logid": 1413,
"ns": 6,
"title": "File:WG211 M25 Shan.pdf",
"pageid": 696,
"logpage": 696,
"revid": 2869,
"params": {
"img_sha1": "m9c2atgfty6kvmkrdcqqetpf4u9j6rq",
"img_timestamp": "2025-12-10T14:29:42Z"
},
"type": "upload",
"action": "upload",
"user": "Jacques",
"timestamp": "2025-12-10T14:29:42Z",
"comment": ""
},
{
"logid": 1412,
"ns": 6,
"title": "File:WG211 M25 Group Photo.jpg",
"pageid": 695,
"logpage": 695,
"revid": 2867,
"params": {},
"type": "create",
"action": "create",
"user": "Jacques",
"timestamp": "2025-12-10T14:26:28Z",
"comment": "Pictures of all the people who attended this meeting"
},
{
"logid": 1411,
"ns": 6,
"title": "File:WG211 M25 Group Photo.jpg",
"pageid": 695,
"logpage": 695,
"revid": 2867,
"params": {
"img_sha1": "6ljtaeqn1nsidfgv5a8dzxrtjr7h0ej",
"img_timestamp": "2025-12-10T14:26:28Z"
},
"type": "upload",
"action": "upload",
"user": "Jacques",
"timestamp": "2025-12-10T14:26:28Z",
"comment": "Pictures of all the people who attended this meeting"
},
{
"logid": 1410,
"ns": 6,
"title": "File:Stellenbosch.pdf",
"pageid": 694,
"logpage": 694,
"revid": 2850,
"params": {},
"type": "create",
"action": "create",
"user": "Eric",
"timestamp": "2025-12-01T08:17:39Z",
"comment": ""
},
{
"logid": 1409,
"ns": 6,
"title": "File:Stellenbosch.pdf",
"pageid": 694,
"logpage": 694,
"revid": 2850,
"params": {
"img_sha1": "6ohvupepay7aeids571ihgziw1j95po",
"img_timestamp": "2025-12-01T08:17:39Z"
},
"type": "upload",
"action": "upload",
"user": "Eric",
"timestamp": "2025-12-01T08:17:39Z",
"comment": ""
},
{
"logid": 1408,
"ns": 0,
"title": "WG211/M25Barke",
"pageid": 693,
"logpage": 693,
"revid": 2845,
"params": {},
"type": "create",
"action": "create",
"user": "Jacques",
"timestamp": "2025-11-21T19:13:13Z",
"comment": "Created page with \"Toward Trustworthy LLM Generation: From Verifiable Proofs to Reliable Agents Verifiable programming provides a concrete foundation for trustworthy LLM generation. This talk introduces DeepProof-32B, a 32-billion-parameter reasoning model designed for program verification and trained with reinforcement learning from verifiable rewards, achieving state-of-the-art performance among open models. The first part distills lessons from building models that can reason about thei...\""
},
{
"logid": 1407,
"ns": 0,
"title": "WG211/M25Steuwer",
"pageid": 692,
"logpage": 692,
"revid": 2842,
"params": {},
"type": "create",
"action": "create",
"user": "Jacques",
"timestamp": "2025-11-19T16:47:03Z",
"comment": "Created page with \"E-Graphs are a core data structure used in automatic reasoning and program optimization. They space-efficiently represent a set of equivalent terms. However, representing programs with bindings in e-graphs using existing techniques quickly defeats the efficiency purpose in many practical applications, as the e-graph represents alpha-equivalent terms many times. In this talk, I am going to present our work on Slotted E-Graphs that augment E-Graphs with a build-in notion...\""
},
{
"logid": 1406,
"ns": 2,
"title": "User:Peoadmin",
"pageid": 0,
"logpage": 0,
"params": {
"oldgroups": [],
"newgroups": [
"sysop",
"bureaucrat",
"interface-admin"
],
"oldmetadata": [],
"newmetadata": [
{
"group": "sysop",
"expiry": "infinity"
},
{
"group": "bureaucrat",
"expiry": "infinity"
},
{
"group": "interface-admin",
"expiry": "infinity"
}
]
},
"type": "rights",
"action": "rights",
"user": "Maintenance script",
"timestamp": "2025-11-18T06:52:52Z",
"comment": ""
}
]
}
}